delete README symlink

[model-checker.git] / README

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