projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3519c47) | patch
.gitignore: don't ignore /model anymore
authorBrian Norris <banorris@uci.edu>
Fri, 17 Aug 2012 00:11:27 +0000 (17:11 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 17 Aug 2012 00:12:18 +0000 (17:12 -0700)
commit6242ed60848e5c0b0973314739dac4d679aa490d
tree4b61487781f91510be5d20dd709c1b38f01591a2tree | snapshot
parent3519c47202090f3c4a69de0e89aaa2617b17ff75commit | diff
.gitignore: don't ignore /model anymore

We don't produce an executable named 'model' anymore.
.gitignore diff | blob | history
C++11 memory model checker