diff options
Diffstat (limited to 'java/jgrapht/files/patch-build.xml')
| -rw-r--r-- | java/jgrapht/files/patch-build.xml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/java/jgrapht/files/patch-build.xml b/java/jgrapht/files/patch-build.xml index df1d9454dea2..eb39cf5aabd2 100644 --- a/java/jgrapht/files/patch-build.xml +++ b/java/jgrapht/files/patch-build.xml @@ -1,5 +1,3 @@ -$FreeBSD$ - Patch to allow the JDK API location to be passed to Ant using -Djdk.api --- build.xml.orig Mon Jul 3 00:53:38 2006 |