]> de.git.xonotic.org Git - xonotic/netradiant.git/commitdiff
Merge branch 'polishing' into 'master'
authorThomas Debesse <gitlab@illwieckz.net>
Sun, 16 Jun 2019 13:36:16 +0000 (13:36 +0000)
committerThomas Debesse <gitlab@illwieckz.net>
Sun, 16 Jun 2019 13:36:16 +0000 (13:36 +0000)
polishing stuff a bit, no functionnal changes

See merge request xonotic/netradiant!130


Trivial merge