chiark / gitweb /
~cjwatson / blog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd0de0b) | patch
Revert "documentation: fix for duplicate detailed description issue."
authorVladimír Vondruš <mosra@centrum.cz>
Sun, 7 Jul 2019 16:44:05 +0000 (18:44 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 7 Jul 2019 16:44:05 +0000 (18:44 +0200)
commit18efda422e80688f04841ded7d987ef24a947d6d
treec21850487da73d45fc4ab777b24b6f79997ebcc9tree | snapshot
parentbd0de0bfe23ed85ff063039a56ed395d6779cc9ecommit | diff
Revert "documentation: fix for duplicate detailed description issue."

Wait no, this was a total brainfart. Things continue to work even
without those (and the new branches are OTOH never actually executed).

This partially reverts commit d1961231589a1cdf7a742d1f55a8daaf4533dfd6.
documentation/doxygen.py diff | blob | history
Colin Watson's blog