diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2017-01-18 23:02:14 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-01-18 23:05:04 +0100 |
| commit | 9b5faa8b8475bdd7624c58b07d45d28d42a47a2e (patch) | |
| tree | 5cc279cfc56d3ea89bf5deed25f2266160fa0afc /man | |
| parent | cff68edc1ac113ac9e159dfdf7cfcbb6721ff2a7 (diff) | |
Point to the github.io documentation site
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions