/devel/gps/files/

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