diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2017-03-31 11:59:38 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-03-31 11:59:38 +0200 |
| commit | 964b45c0cc7570a5c724a1f6458cf553866b7307 (patch) | |
| tree | 0972738da69eafefb55a92f871c4f362412f928e /docs/index.html | |
| parent | 6139fd32ca77d25c0251e02fbd89962a0d8585b7 (diff) | |
Shorten usage line to avoid NOTE in check
Diffstat (limited to 'docs/index.html')
0 files changed, 0 insertions, 0 deletions