projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca8ff39) | patch
Doxyfile: exclude malloc.c
authorBrian Norris <banorris@uci.edu>
Fri, 15 Jun 2012 06:55:25 +0000 (23:55 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 15 Jun 2012 06:55:25 +0000 (23:55 -0700)
commitbac91bab68e2a50aa5ceee4057624a56eaf6c9bf
treea33df18c11a54e596d69b7c23334bc976f7d6b36tree | snapshot
parentca8ff397344fe054228da40ca7009ba5756e7d1acommit | diff
Doxyfile: exclude malloc.c

I don't think we really want documentation for the dlmalloc code. It provides
several Doxygen warnings/complaints, and it muddies up some of the output HTML.
Maybe we can fix this up somehow later, but it's not really worth doing right
now.
Doxyfile diff | blob | history
C++11 memory model checker