From a3e142a06d961daca8ead068d85610ddd6ec947e Mon Sep 17 00:00:00 2001
From: Matthias Braun <matze@braunis.de>
Date: Fri, 4 Aug 2006 13:03:40 +0000
Subject: [PATCH] removed firm.ini which should not be here

---
 ir/be/test/firm.ini | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 ir/be/test/firm.ini

diff --git a/ir/be/test/firm.ini b/ir/be/test/firm.ini
deleted file mode 100644
index 942d849e9..000000000
--- a/ir/be/test/firm.ini
+++ /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
-- 
2.20.1