chiark / gitweb /
doc: this should be a warning.
authorVladimír Vondruš <mosra@centrum.cz>
Tue, 24 Oct 2017 16:26:53 +0000 (18:26 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Tue, 24 Oct 2017 16:26:53 +0000 (18:26 +0200)
commit7316077888832510d717c78060a6db4f17d7630e
tree238fd7ea0696c598a82a94ee502c5fc054a5675b
parentc399890313a7f842b19c2617614123b27f32e4be
doc: this should be a warning.
doc/css/themes.rst