Fix type in gtk gui
authorHenning Rogge <hrogge@googlemail.com>
Sun, 3 Jun 2012 08:14:56 +0000 (10:14 +0200)
committerHenning Rogge <hrogge@googlemail.com>
Sun, 3 Jun 2012 08:14:56 +0000 (10:14 +0200)
commit13f78c6e8b0c4c671cf9efb52df7d1ac0abcb2b3
tree1066682eda2f79d0555d23dd64e41cde35396551
parent10b3ab1aa2a9711ae3da9539aa3d4641c2d28736
Fix type in gtk gui
gui/linux-gtk/src/ipc.c