diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2019-04-26 13:45:44 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-04-26 13:45:44 +0200 |
commit | 67cd9e04caaf18a40231262c9033fb24e8bb2a66 (patch) | |
tree | c71c4b2095d10c8f5e82d25620657de2a299e568 /DESCRIPTION | |
parent | 45f540ef19fd2a2a80e3f3f72950933ed6396f0c (diff) |
Formatting improvement for the online docs
Diffstat (limited to 'DESCRIPTION')
0 files changed, 0 insertions, 0 deletions