aboutsummaryrefslogtreecommitdiff
path: root/docs/docsearch.css
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2018-09-18 10:28:08 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2018-09-18 10:28:08 +0200
commita2246bef55eb74f3ad608c28dc3b759af32a41b9 (patch)
tree4ba1ec7b30dfd99d1c2d31b2ae64bf3eb51551df /docs/docsearch.css
parent39b6d8b8569801c2957b22d0973b5ad0c9405e7d (diff)
Use single core on travis
Diffstat (limited to 'docs/docsearch.css')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint