From: root <root>
Date: Fri, 12 May 2006 23:22:34 +0000 (+0000)
Subject: Remove readme file...
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=a8049c4320882e612bab045e7bfbb5e23f44a1d2;hp=036d7258e10421f262d2e228d13393876486805d;p=repair.git

Remove readme file...
---

diff --git a/Repair/README b/Repair/README
deleted file mode 100755
index 3bce2b6..0000000
--- a/Repair/README
+++ /dev/null
@@ -1,10 +0,0 @@
-Type ./build to build the main executable...  This is the filesystem 
-example.  Read file.cc for the options.  The spec files for this example 
-are: 
-testmodel teststruct testabstract testconcrete testspace
-
-Contact me to run the ole example - you need to compile the repair tool as a 
-library to link into it (or just hack a makefile to do this)
-
-The game example isn't included yet, its pretty big, and I'm not certain of 
-licensing issues.