chiark / gitweb /
Allow renaming of machines.
authordaid <daid303@gmail.com>
Tue, 27 May 2014 07:46:15 +0000 (09:46 +0200)
committerdaid <daid303@gmail.com>
Tue, 27 May 2014 07:46:15 +0000 (09:46 +0200)
commit711636d93273270471d0582b65a2400c36643470
treea96e0cc2d3ed6830779c3199c7359e7cf9e84412
parentad12049ee093ef82cacee820c4ac13501330714e
Allow renaming of machines.
Cura/gui/preferencesDialog.py
Cura/util/profile.py