aboutsummaryrefslogtreecommitdiff
path: root/docs/docsearch.css
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2018-07-17 21:21:20 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2018-07-17 21:22:36 +0200
commitdcc767c5d7296197e54f4a0e86bae3e9c82cc004 (patch)
tree94c5dc88be73efe941eef4675b70fc36153a273a /docs/docsearch.css
parent764531edb7c5598c7b1e401d6e2028ec832db1c4 (diff)
Improve NEWS file, rebuild static docs
Diffstat (limited to 'docs/docsearch.css')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint