]> git.rm.cloudns.org Git - xonotic/xonotic-data.pk3dir.git/commitdiff
Merge branch 'terencehill/rounded_times' into 'master'
authorterencehill <piuntn@gmail.com>
Sun, 30 Jul 2017 16:30:13 +0000 (16:30 +0000)
committerterencehill <piuntn@gmail.com>
Sun, 30 Jul 2017 16:30:13 +0000 (16:30 +0000)
Rounded times

See merge request !408


Trivial merge