1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-29 01:13:08 +00:00
freebsd-ports/devel/gps/files
..
patch-ada__module_core_src_ada__semantic__tree-generics.adb
patch-common-tty-terminals.c
patch-gnatlib_aclocal.m4
patch-gnatlib_configure
patch-gnatlib_src_nonpython_gnatcoll-scripts.nopython.adb
patch-gnatlib_src_nonpython_gnatcoll-scripts.nopython.ads
patch-gnatlib-gnat_src-mlib-utl.adb
patch-gnatlib-gnatcoll_shared.gpr.in
patch-gps_gps.gpr
patch-Makefile.in
patch-prj_editor_src_gpr__creation.adb
patch-refactoring_core_src_refactoring-services.adb
patch-shared.gpr
patch-toolchains_editor_core_src_toolchains-parsers.ads