diff options
author | Dimitri Staessens <[email protected]> | 2021-08-14 17:55:01 +0200 |
---|---|---|
committer | Dimitri Staessens <[email protected]> | 2021-08-14 17:55:01 +0200 |
commit | a4ed3fefeccf0f452d3ed3da8ccbe4ec6da445c1 (patch) | |
tree | 72a69c275b26d96641148e01f98a8ed0f859b93d /themes/docsy/layouts/_default/search.html | |
parent | 83d2d780f8c1bc32c105c553f095855eb9912ba8 (diff) | |
download | website-a4ed3fefeccf0f452d3ed3da8ccbe4ec6da445c1.tar.gz website-a4ed3fefeccf0f452d3ed3da8ccbe4ec6da445c1.zip |
docs: Small fix in problem with OSI
Diffstat (limited to 'themes/docsy/layouts/_default/search.html')
0 files changed, 0 insertions, 0 deletions