diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2023-04-20 20:21:35 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2023-04-20 20:21:35 +0200 |
| commit | d5d6560fe453f71e7ed9dde8d1eb087ffc305b5b (patch) | |
| tree | 1f785c31da013a7c973e138d5e374ad165281f9b /docs/dev/docsearch.js | |
| parent | 7b7c4bf493ba15824ea43bed764661678b4aca03 (diff) | |
Switch docs back to devel mode
Diffstat (limited to 'docs/dev/docsearch.js')
0 files changed, 0 insertions, 0 deletions