…
..
patch-common_tty_terminals.c
patch-docs_Makefile.in
patch-gnatlib_aclocal.m4
patch-gnatlib_configure
patch-gnatlib_src_gnatcoll__readline.gpr.in
patch-gnatlib-gnatcoll_shared.gpr.in
patch-gps_gps.gpr
patch-Makefile.in
patch-src__editor_src_src__editor__buffer.adb
patch-src__editor_src_src__editor__view.adb