removed firm.ini which should not be here
authorMatthias Braun <matze@braunis.de>
Fri, 4 Aug 2006 13:03:40 +0000 (13:03 +0000)
committerMatthias Braun <matze@braunis.de>
Fri, 4 Aug 2006 13:03:40 +0000 (13:03 +0000)
ir/be/test/firm.ini [deleted file]

diff --git a/ir/be/test/firm.ini b/ir/be/test/firm.ini
deleted file mode 100644 (file)
index 942d849..0000000
+++ /dev/null
@@ -1,4 +0,0 @@
-firm.be.ra.chordal.jc.jvm  = /usr/public/java/jdk1.5.0_04/jre/lib/i386/client/libjvm.so
-firm.be.ra.chordal.copymin = heur2
-firm.be.ra.chordal.spill   = morgan
-firm.be.ra.chordal.copymin_stats = false