/devel/gps/patches/

• ../
• patch-Makefile.in
• patch-common_tty_terminals.c
• patch-docs_Makefile.in
• patch-gnatlib-gnat_src-mlib-utl.adb
• patch-gnatlib_aclocal.m4
• patch-gnatlib_configure
• patch-gnatlib_gnatcoll__shared.gpr.in
• patch-gnatlib_src_gnatcoll__readline.gpr.in
• patch-gps_gps.gpr
• patch-src__editor_src_src__editor__buffer.adb
• patch-src__editor_src_src__editor__view.adb