chiark / gitweb /
doc: various minor improvements.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 12 Sep 2019 19:29:03 +0000 (21:29 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 12 Sep 2019 19:29:03 +0000 (21:29 +0200)
commit34503bc1ed8e1bf5da22af3d326d56f3397d2bd2
tree92a84b66147f2227c7fec7324e06d4bdeb7745a6
parent298d30bd020d1ad5793706390cb039fed15f609f
doc: various minor improvements.
doc/css/themes.rst
doc/documentation/doxygen.rst
doc/documentation/python.rst