aboutsummaryrefslogtreecommitdiff
path: root/docs/reference/index.html
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2017-03-31 11:59:38 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2017-03-31 11:59:38 +0200
commit964b45c0cc7570a5c724a1f6458cf553866b7307 (patch)
tree0972738da69eafefb55a92f871c4f362412f928e /docs/reference/index.html
parent6139fd32ca77d25c0251e02fbd89962a0d8585b7 (diff)
Shorten usage line to avoid NOTE in check
Diffstat (limited to 'docs/reference/index.html')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint