chiark / gitweb /
doc: push for better semantics of notes and blocks.
authorVladimír Vondruš <mosra@centrum.cz>
Sat, 18 Nov 2017 15:18:01 +0000 (16:18 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sat, 18 Nov 2017 15:18:22 +0000 (16:18 +0100)
commit710037bc02022c2e5c97aa075faed76af4e9e837
treebaf275ac1cb4b789633bf8ab0edeb59d9a50d74a
parent8ca55ade2f14ec285075c7f568458e25c6cd31bc
doc: push for better semantics of notes and blocks.
doc/css/components.rst