hum, it should be a decimal division
authorthomasv <thomasv@gitorious>
Mon, 5 Nov 2012 09:47:27 +0000 (10:47 +0100)
committerthomasv <thomasv@gitorious>
Mon, 5 Nov 2012 09:47:27 +0000 (10:47 +0100)
commit254a5d8790becb240de4db00561dc2bb5c15f759
tree3117554fb9dd02ebac8a7ce5e85fbb3ec3018f3c
parent674096f870564da1be2eb1a6ab6c2a6d66e1669d
hum, it should be a decimal division
lib/gui_lite.py