From 59a434de1b5fbc24383586d21412d3bd154e1013 Mon Sep 17 00:00:00 2001 From: Gilles Dubochet Date: Tue, 11 Oct 2005 11:53:02 +0000 Subject: Changed the way to set properties. --- build.properties | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 build.properties (limited to 'build.properties') diff --git a/build.properties b/build.properties deleted file mode 100644 index fae9e5f2ef..0000000000 --- a/build.properties +++ /dev/null @@ -1,17 +0,0 @@ -# The path to the old Scala library. -oslib.jar=/Developer/Scala/Latest/lib/scala.jar - -# The path to the old Scala tools. -ostools.jar=/Developer/Scala/Latest/lib/tools.jar - -# The path to the Jaco/Pico compiler. -jaco.jar=/Users/dubochet/Documents/Jaco/distrib/pizza/lib/jaco.jar - -# The path to the FJBG byte-code generation library. -fjbg.jar=/Developer/Scala/Stable/lib/fjbg.jar - -# The path to the MSIL byte-code generation library. -msil.jar=/Developer/Scala/MSIL/msil.jar - -# Other custom properties come here -nsc.skip=jvm \ No newline at end of file -- cgit v1.2.3