From 5309ca3a5ac8e8289f74e92d19ef27e5bcaddd6f Mon Sep 17 00:00:00 2001 From: Thomas Koch Date: Wed, 6 Apr 2022 17:22:03 +0000 Subject: [PATCH] rename jars to correspond to maven repos --- .classpath | 4 ++-- build.xml | 4 ++-- lib/{jakarta-oro-2.0.8.jar => oro-2.0.8.jar} | Bin lib/{xml-apis.jar => xml-apis-1.4.01.jar} | Bin 4 files changed, 4 insertions(+), 4 deletions(-) rename lib/{jakarta-oro-2.0.8.jar => oro-2.0.8.jar} (100%) rename lib/{xml-apis.jar => xml-apis-1.4.01.jar} (100%) diff --git a/.classpath b/.classpath index 4082ac44a..ba751f074 100644 --- a/.classpath +++ b/.classpath @@ -39,7 +39,7 @@ - + @@ -97,7 +97,7 @@ - + diff --git a/build.xml b/build.xml index f22d91dd6..eee86e352 100644 --- a/build.xml +++ b/build.xml @@ -208,7 +208,7 @@ - + @@ -271,7 +271,7 @@ - + diff --git a/lib/jakarta-oro-2.0.8.jar b/lib/oro-2.0.8.jar similarity index 100% rename from lib/jakarta-oro-2.0.8.jar rename to lib/oro-2.0.8.jar diff --git a/lib/xml-apis.jar b/lib/xml-apis-1.4.01.jar similarity index 100% rename from lib/xml-apis.jar rename to lib/xml-apis-1.4.01.jar