chiark / gitweb /
documentation: minor cleanup.
authorVladimír Vondruš <mosra@centrum.cz>
Mon, 29 Apr 2019 17:28:16 +0000 (19:28 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Tue, 30 Apr 2019 21:44:05 +0000 (23:44 +0200)
commitf7c8dd6092fb0cd917df2497bb46bdda9aec6653
tree357d149b07e987cd7a35a9aa1ccee03fd3aa3080
parent7f91cb500e1a16d3701014deddf5d6b4618beed3
documentation: minor cleanup.
documentation/test_doxygen/contents_code_language/input.dox