gui: Trivial whitespace and spelling fixes.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 15 Jul 2017 12:01:28 +0000 (14:01 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 16 Jul 2017 12:55:52 +0000 (14:55 +0200)
commit5d57280b362dd9f002e5a7041d33a9af5fc13ce7
treed7e56295a896e217877b0b0e6a2737f32fa57488
parent74767b3c0c1eb2056ea5577011bc3f37af917496
gui: Trivial whitespace and spelling fixes.

Nothing interesting in this patch..
gui.c