diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-10 16:27:12 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-10 16:30:49 +0100 |
| commit | e46ee27b218dde8ebb948e8b3b28e9cd8250bc70 (patch) | |
| tree | c3e7a0a7713e656dfe6ee7c1b6e337a411f0f786 /docs/docsearch.css | |
| parent | f41d1759b890613895879f36e69e9928dd517f0e (diff) | |
Skip BSPM, it's the default
Diffstat (limited to 'docs/docsearch.css')
0 files changed, 0 insertions, 0 deletions