Merge pull request #2717 from MartijnKaijser/settings_info
authorMartijn Kaijser <machine.sanctum@gmail.com>
Tue, 21 May 2013 19:09:40 +0000 (12:09 -0700)
committerMartijn Kaijser <machine.sanctum@gmail.com>
Tue, 21 May 2013 19:09:40 +0000 (12:09 -0700)
[language] add GUI setting descriptions


Trivial merge