diff options
author | Andreas Hubel | 2017-10-21 21:03:26 +0200 |
---|---|---|
committer | Andreas Hubel | 2017-10-21 21:06:02 +0200 |
commit | 16fc016ccc2096e1b7223fdc63279b72820f17de (patch) | |
tree | 7c0546ac481ddff6cdd492e678feb3698baed2c8 /configs/conferences/gpn15 | |
parent | ebfcd5806364f5d24991dab9d65eddc87fa45550 (diff) |
pw17: minor corrections, fixes #52
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions