chiark / gitweb /
Fix #602
authordaid <daid303@gmail.com>
Wed, 18 Dec 2013 14:04:12 +0000 (15:04 +0100)
committerdaid <daid303@gmail.com>
Wed, 18 Dec 2013 14:04:12 +0000 (15:04 +0100)
commit077d0ba38ede313ae637c19d30668d672e4ff151
tree10481c870c4de9d3906cdcc968891ae55efcb9cc
parent04500a0384a7e378fa313a7c3e736c608ec2837b
Fix #602
Cura/gui/pluginPanel.py