/devel/gps/patches/

• ../
• patch-aa
• patch-ab
• patch-ac
• patch-ada__module_core_src_ada__semantic__tree-generics.adb
• patch-ae
• patch-af
• patch-ak
• patch-al
• patch-am
• patch-an
• patch-distrib_gnat__switches_awk
• patch-gps_gps.gpr
• patch-prj_editor_src_gpr__creation.adb
• patch-refactoring_core_src_refactoring-services.adb
• patch-toolchains_editor_core_src_toolchains-parsers.ads