diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2019-02-25 21:18:11 +0100 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-02-25 21:18:11 +0100 |
commit | 885ea2cd3392e57efff72e5094643917d6ba2be8 (patch) | |
tree | 16a1f565e07dfef561ef37b5207d40e2d4db3f07 /NEWS.md | |
parent | a9285f356f92e45dfec43ab6ad06d65b1ffe08d1 (diff) |
Fixes for last commit
Diffstat (limited to 'NEWS.md')
0 files changed, 0 insertions, 0 deletions