summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMac Mollison <mollison@cs.unc.edu>2010-03-13 16:20:08 -0500
committerMac Mollison <mollison@cs.unc.edu>2010-03-13 16:20:08 -0500
commitcd82f6c9be132613bfec7eb673923506201e38f6 (patch)
tree6ea59e3c1bb24d62639fd3f91d1ab4da661baa12
parent2291df37befe3fba607bf7517984a882d83619ad (diff)
Got rid of README, since we have doc/.
-rw-r--r--README1
1 files changed, 0 insertions, 1 deletions
diff --git a/README b/README
deleted file mode 100644
index b2da190..0000000
--- a/README
+++ /dev/null
@@ -1 +0,0 @@
1See the LITMUS Wiki page for an explanation of this tool.