projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 66da4ee)
delete README symlink
authorBrian Norris <banorris@uci.edu>
Tue, 13 Aug 2013 22:11:12 +0000 (15:11 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 13 Aug 2013 22:11:12 +0000 (15:11 -0700)
Readers should just look at README.md, or the generated README.html.

README [deleted symlink] patch | blob | history

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
C++11 memory model checker