Merge branch 'cleanup' into 'master'
authorThomas Debesse <gitlab@illwieckz.net>
Thu, 8 Aug 2019 00:00:43 +0000 (00:00 +0000)
committerThomas Debesse <gitlab@illwieckz.net>
Thu, 8 Aug 2019 00:00:43 +0000 (00:00 +0000)
some cleanup to make the repository cooler

See merge request xonotic/netradiant!146


Trivial merge