chiark / gitweb /
Minor cleanup.
authordaid <daid303@gmail.com>
Tue, 27 May 2014 07:55:44 +0000 (09:55 +0200)
committerdaid <daid303@gmail.com>
Tue, 27 May 2014 07:55:44 +0000 (09:55 +0200)
commitf542c937e427d3f2510603b9a0fe280ff2326396
treef6e3d8a644bc1749324cf568ff08e94ff600b6dc
parent34be1f8cc0cacdb6065cf342a37222c32b5f2035
Minor cleanup.
Cura/gui/mainWindow.py