Removed the old exp4j-0.2.9.jar and corrected the build.xml to use the new exp4j-rdg.jar.

2012-08-08 02:38:18 +00:00 · 2012-08-08 02:38:18 +00:00 · 3cc439e490
commit 3cc439e490
parent a5c3c1ac76
2 changed files with 1 additions and 1 deletions
--- a/core/build.xml
+++ b/core/build.xml
@ -112,7 +112,7 @@
 				<attribute name="Main-Class" value="${main-class}"/>
 				<attribute name="SplashScreen-Image" value="pix/splashscreen.png"/>
 			</manifest>
-			<zipfileset src="lib/exp4j-0.2.9.jar" />
+			<zipfileset src="lib/exp4j-rdg.jar" />
 		</jar>
 	</target>

--- a/core/lib/exp4j-0.2.9.jar
+++ b/core/lib/exp4j-0.2.9.jar