chiark / gitweb /
documentation: calculate the result index differently.
authorVladimír Vondruš <mosra@centrum.cz>
Tue, 12 May 2020 06:56:01 +0000 (08:56 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Tue, 12 May 2020 07:14:03 +0000 (09:14 +0200)
commite2ae37c24dc82e6734fbbf8ae4d154964d7fec54
treeffea405bf42c860a3314ce8fad2b2a925e805820
parent6cca6d7e01d87a7703bb46c9da94a4dc6a5f7d88
documentation: calculate the result index differently.
documentation/search.js