diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2022-07-21 19:17:47 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-07-21 19:18:13 +0200 |
| commit | 20ee5c55d4bab1e896749dea584a76dca197d67c (patch) | |
| tree | 2a4351690c347405af9361b999e11fca69dc5da3 /docs/dev/docsearch.css | |
| parent | 3f5a9108fa03747de23f988397f0fae341b3eb6f (diff) | |
Try the r2u variant
Diffstat (limited to 'docs/dev/docsearch.css')
0 files changed, 0 insertions, 0 deletions