chiark / gitweb /
documentation: minor cleanup.
authorVladimír Vondruš <mosra@centrum.cz>
Wed, 5 Jan 2022 14:45:47 +0000 (15:45 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Wed, 5 Jan 2022 14:45:47 +0000 (15:45 +0100)
commit9d8c6a5ee0bbc3f1a86db080af7c83ab257fad6c
treef2e27b8ba4bb6a1e14edb44cfedd7aac7d44c067
parentfb5fd851bb0d5bd855ffeaaf560a9a8c55297d18
documentation: minor cleanup.
documentation/search.js