X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=README;fp=README;h=0000000000000000000000000000000000000000;hb=eb9da8fb94cb7f5bed81cded6983d7e246b74ffd;hp=42061c01a1c70097d1e4579f29a5adf40abdec95;hpb=66da4eeb0b6c0e3cce5ef7788eb64151e536d68d;p=model-checker.git

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