aboutsummaryrefslogtreecommitdiff
path: root/docs/dev/docsearch.css
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2022-03-01 12:41:32 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2022-03-01 12:41:32 +0100
commiteae89711fe9fb104d7e708a1c93270d933d6068a (patch)
tree48e02777996ea85b58b7d08a40a9f2a5c545b8ed /docs/dev/docsearch.css
parent2b331b5f9420943ebe26b60361578038ec560f88 (diff)
Use current R in travis
Diffstat (limited to 'docs/dev/docsearch.css')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint