Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | patch-Makefile.in | 2677 | logplain |
-rw-r--r-- | patch-gprbuild.gpr | 441 | logplain |
-rw-r--r-- | patch-share_gprconfig_compilers.xml | 1222 | logplain |
-rw-r--r-- | patch-share_gprconfig_gnat.xml | 744 | logplain |
-rw-r--r-- | patch-share_gprconfig_linker.xml | 1985 | logplain |
-rw-r--r-- | patch-share_gprconfig_targetset.xml | 1109 | logplain |
-rw-r--r-- | patch-src_gprlib.adb | 1468 | logplain |