chiark / gitweb /
Some small changes suggested by ErikDeBruijn
authordaid <daid303@gmail.com>
Mon, 7 Oct 2013 07:35:00 +0000 (09:35 +0200)
committerdaid <daid303@gmail.com>
Mon, 7 Oct 2013 07:35:00 +0000 (09:35 +0200)
commit877f67265d56b50b1cbb0e832b939f04d77dc325
treeb4f3ba3ff5023ee631a605877807f74469a1f9b9
parent23d785d8d4560031dfcc4189b8d52df8e7940ea9
Some small changes suggested by ErikDeBruijn
Cura/gui/mainWindow.py