chiark / gitweb /
doc update the Pygments CSS generation snippet for Py 3.8.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 5 Dec 2019 19:05:26 +0000 (20:05 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 5 Dec 2019 19:05:26 +0000 (20:05 +0100)
commit6eefd92c2aa3e0a257503d31b1a469867dfff8b6
treeb94cbe239f3961fe279b499fb76d5caf12b122a3
parentf239c938e90d2d1409ea3a97dc91ce3d41a3f7be
doc update the Pygments CSS generation snippet for Py 3.8.
doc/css/themes.rst