diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2020-12-09 10:05:00 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2020-12-09 10:05:00 +0100 |
| commit | 107ddb89a4a6e0e15d9f82eafcf9eebecf4904ba (patch) | |
| tree | 964c72141c0376f44ccd81ca5c77fc157d7eff69 /docs/dev/docsearch.js | |
| parent | f33ce936323d9afc884f9254fb57d19744cadf75 (diff) | |
Make tests more robust, remove two redundant ones
Diffstat (limited to 'docs/dev/docsearch.js')
0 files changed, 0 insertions, 0 deletions