chiark / gitweb /
Add configurable head size.
authordaid303 <daid303@gmail.com>
Tue, 23 Apr 2013 09:23:51 +0000 (11:23 +0200)
committerdaid303 <daid303@gmail.com>
Tue, 23 Apr 2013 09:23:51 +0000 (11:23 +0200)
commit6246f7e917ee31db61ac9ace8a0590ea17401f5d
tree0debd02851e648c2c7f07ab493f36e0655353138
parent149e5222f4643b4f7b1c5060384293a5ecd71a35
Add configurable head size.
Cura/gui/configWizard.py
Cura/gui/preferencesDialog.py
Cura/util/profile.py