…
..
patch-common-tty-terminals.c
patch-gnatlib-gnat_src-gnatvsn.adb
patch-gnatlib-gnatcoll_shared.gpr.in
patch-Makefile.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