commit | a83671a71db5c500afe0715547d8addfce56c930 | [log] [tgz] |
---|---|---|
author | Michael Tuexen <tuexen@fh-muenster.de> | Sun Jan 12 13:23:59 2020 +0100 |
committer | Michael Tuexen <tuexen@fh-muenster.de> | Sun Jan 12 13:23:59 2020 +0100 |
tree | 46cfea82e5b3af429bb2cfe02bb641c1b17804e2 | |
parent | 49dea54aef5f6994bed75d3214b8ade1b971f293 [diff] |
Minor cleanups.