]> git.jsancho.org Git - lugaru.git/commitdiff
Devtools: Fix saving player proportions
authorRémi Verschelde <rverschelde@gmail.com>
Sat, 11 Feb 2017 16:01:47 +0000 (17:01 +0100)
committerRémi Verschelde <rverschelde@gmail.com>
Sat, 11 Feb 2017 16:01:47 +0000 (17:01 +0100)
Fixes #92.


No differences found