From: Jean Privat Date: Tue, 5 May 2015 01:10:09 +0000 (-0400) Subject: Merge: Fix a bit of everything: typos, doc, android, bucketed_game and vim X-Git-Tag: v0.7.5~79 X-Git-Url: http://nitlanguage.org?hp=066fc500cdfb2ad7e15bffb5d22600f7379bd806 Merge: Fix a bit of everything: typos, doc, android, bucketed_game and vim Fix typos in doc and help, improve doc, fix error in Android projects, clean up bucketed_game and add an option for #1300. Pull-Request: #1302 Reviewed-by: Lucas Bajolet Reviewed-by: Alexandre Terrasa Reviewed-by: Jean Privat ---