projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c30a9cf) | patch
Doxygen: document subdirectories
authorBrian Norris <banorris@uci.edu>
Fri, 12 Oct 2012 18:05:26 +0000 (11:05 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 12 Oct 2012 18:05:26 +0000 (11:05 -0700)
commita69e8aff5040edf3c2448d401b69e2411723c557
tree11a08c3879c0ffffc53278a60852b1748bdc697ftree | snapshot
parentc30a9cfd8df1150f6a2e89dde93781e334d4453dcommit | diff
Doxygen: document subdirectories

Document include/, but ignore doc/, benchmarks/, and test/.
Doxyfile diff | blob | history
C++11 memory model checker