diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2015-06-23 11:21:49 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-06-23 11:40:36 +0200 |
commit | 6c62c42eb57631aa0f4ab7e008621ffb519bd7be (patch) | |
tree | 23d65dd4a50efd669026112ce80ff2095572bfa8 /docs | |
parent | 548b67e5d54e78150cfc6474ad129af9408f4997 (diff) |
Small documenation changes
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions