projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 66da4ee) | patch
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)
commiteb9da8fb94cb7f5bed81cded6983d7e246b74ffd
tree0d7c28c6583926ce1385a247735fe1475f87750btree | snapshot
parent66da4eeb0b6c0e3cce5ef7788eb64151e536d68dcommit | diff
delete README symlink

Readers should just look at README.md, or the generated README.html.
README [deleted symlink] blob | history
C++11 memory model checker