Merge pull request #859 from laanwj/2012_02_guilanguagearg
authorWladimir J. van der Laan <laanwj@gmail.com>
Sat, 18 Feb 2012 09:33:56 +0000 (01:33 -0800)
committerWladimir J. van der Laan <laanwj@gmail.com>
Sat, 18 Feb 2012 09:33:56 +0000 (01:33 -0800)
commit2d36b60f9278f2b6fedadbb3b5f29e19244f5cef
treeef694dbc4aa27dbf0af0df00ec181ed1fec16924
parent328512876ab6c5ec8eb69a9b34418caaee503bd5
parent72075edafb62ebff58063af123d3c8bf1370f0e2
Merge pull request #859 from laanwj/2012_02_guilanguagearg

Make it possible to set UI language from commandline (implements #678)