/devel/gps/files/

• ../
• patch-Makefile.in
• patch-common-tty-terminals.c
• patch-gnatlib-gnat_src-gnatvsn.adb
• patch-gnatlib-gnatcoll_shared.gpr.in
• patch-prj_editor-src-project_properties.adb
• patch-prj_editor-src-project_viewers.adb
• patch-prj_editor-src-project_viewers.ads
• patch-shared.gpr