chiark / gitweb /
~cjwatson / blog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0d292e) | patch
documentation: it's Doxyfile.xml I shall ignore, not Doxyfile.html.
authorVladimír Vondruš <mosra@centrum.cz>
Fri, 1 Apr 2022 10:07:39 +0000 (12:07 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Fri, 1 Apr 2022 10:07:39 +0000 (12:07 +0200)
commitfeb056d102539e7a093a473b864f5750028cfd42
treec6a7581cd64567b6cad945d177b69a4313eeebf6tree | snapshot
parenta0d292ec311b97fefd21e93cdefb60f88d19ede6commit | diff
documentation: it's Doxyfile.xml I shall ignore, not Doxyfile.html.

Made an error in 45911a18 and apparently it was fine because it silently
returned in some later check.
documentation/doxygen.py diff | blob | history
Colin Watson's blog