chiark / gitweb /
site: fix publication.
authorVladimír Vondruš <mosra@centrum.cz>
Mon, 6 Nov 2017 20:21:42 +0000 (21:21 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Mon, 6 Nov 2017 20:21:42 +0000 (21:21 +0100)
commitc99905425d98d6c8f43040ff1f2c797346e3f699
treed22123002aea67dac8f4972c53a6e1c5015c2dac
parent4d21d5851fddcf086715efae496fb3644015b506
site: fix publication.
site/publishconf.py