From: Brian Norris <banorris@uci.edu>
Date: Tue, 13 Aug 2013 22:11:12 +0000 (-0700)
Subject: delete README symlink
X-Git-Tag: oopsla2015~34
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=eb9da8fb94cb7f5bed81cded6983d7e246b74ffd;ds=inline

delete README symlink

Readers should just look at README.md, or the generated README.html.
---

diff --git a/README b/README
deleted file mode 120000
index 42061c0..0000000
--- a/README
+++ /dev/null
@@ -1 +0,0 @@
-README.md
\ No newline at end of file