chiark / gitweb /
Add option to add/remove machines from machine setting menu.
authordaid <daid303@gmail.com>
Thu, 26 Sep 2013 12:35:42 +0000 (14:35 +0200)
committerdaid <daid303@gmail.com>
Thu, 26 Sep 2013 12:35:42 +0000 (14:35 +0200)
commit6452a463524fb80a43d9a1e4d8c760c897e82115
treeacea9c3aab0b60674ebf91f4632bb42fbc2d8270
parent492c436208c24b7cef98c5da8282ffa4552bbdfb
Add option to add/remove machines from machine setting menu.
Cura/gui/preferencesDialog.py
Cura/util/profile.py