chiark / gitweb /
m.dox: minor cleanup.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 22 Aug 2019 20:20:39 +0000 (22:20 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 25 Aug 2019 10:38:27 +0000 (12:38 +0200)
commita2241f6a2721cfe131346b2357283d9ebfd0af4e
treec1793e304b6dc42987e89d2d3f2a9d482132ff40
parent0b5960092b5f98121fd39f5efe43d8cdb0ea656b
m.dox: minor cleanup.
plugins/m/dox.py