diff options
Diffstat (limited to 'devel/gprbuild/files/patch-src_gpr__version.adb')
| -rw-r--r-- | devel/gprbuild/files/patch-src_gpr__version.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/gprbuild/files/patch-src_gpr__version.adb b/devel/gprbuild/files/patch-src_gpr__version.adb index 12c40eca665d..19a78b60b368 100644 --- a/devel/gprbuild/files/patch-src_gpr__version.adb +++ b/devel/gprbuild/files/patch-src_gpr__version.adb @@ -1,4 +1,4 @@ ---- src/gpr_version.adb.orig 2013-04-16 14:36:02.000000000 +0000 +--- src/gpr_version.adb.orig 2014-04-17 09:50:17.000000000 +0000 +++ src/gpr_version.adb @@ -65,14 +65,7 @@ package body GPR_Version is end if; |