chiark / gitweb /
documentation: fix for duplicate detailed description issue.
authorCris Luengo <cris.l.luengo@gmail.com>
Tue, 7 May 2019 05:43:38 +0000 (23:43 -0600)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 7 Jul 2019 16:30:02 +0000 (18:30 +0200)
commitd1961231589a1cdf7a742d1f55a8daaf4533dfd6
tree778b5ab00218baeed804cece1f65efc2759254e6
parent6669dfc93ade6767646f1336148e7592a259851c
documentation: fix for duplicate detailed description issue.

Also fixes issue with group (module) defined across two files.
documentation/doxygen.py