chiark / gitweb /
Add the machine settings option to the machine menu.
authordaid <daid303@gmail.com>
Wed, 18 Dec 2013 15:03:04 +0000 (16:03 +0100)
committerdaid <daid303@gmail.com>
Wed, 18 Dec 2013 15:03:04 +0000 (16:03 +0100)
commit55c8340dc0bb9ab535876c85f9452e2e49019163
tree7475e1bd01937da5a0c9bbc93f8a44f5db907eb5
parent3365fa8ddca2d8ff36a410f2157d1ae69ba919b6
Add the machine settings option to the machine menu.
Cura/gui/mainWindow.py