…
..
gps.in
patch-common_core_src_os-utils.c
patch-docs_Makefile.in
patch-gps_Makefile
patch-kernel_src_gps-kernel-timeout.adb
patch-Makefile.in
patch-share_plug-ins_dispatching.py
patch-widgets_widgets.gpr