Merge: gamnit: bug fixes, updated doc and prepare iOS support
authorJean Privat <jean@pryen.org>
Fri, 12 Jan 2018 13:34:37 +0000 (08:34 -0500)
committerJean Privat <jean@pryen.org>
Fri, 12 Jan 2018 13:34:37 +0000 (08:34 -0500)
This PR brings miscellaneous improvements to the `gamnit` graphics framework, see each commit description for more details.

Pull-Request: #2597
Reviewed-by: Romain Chanoir <romain.chanoir@viacesi.fr>


Trivial merge