chiark / gitweb /
Remove useless ;
authordaid303 <daid303@gmail.com>
Fri, 21 Dec 2012 11:19:35 +0000 (12:19 +0100)
committerdaid303 <daid303@gmail.com>
Fri, 21 Dec 2012 11:19:35 +0000 (12:19 +0100)
commit04d5b500cbb1c1b66c880686fdd25218818d6b4c
tree9e1146df5790665f5b852944e4ae180139ad0170
parentd94cd0c0759f9f4d2fd97a03aa3b9a5decdf958d
Remove useless ;
Cura/gui/mainWindow.py