chiark / gitweb /
Slightly increase the default machine head size because the header block can stick...
authorDaid <daid303@gmail.com>
Fri, 27 Apr 2012 11:51:27 +0000 (13:51 +0200)
committerDaid <daid303@gmail.com>
Fri, 27 Apr 2012 11:51:27 +0000 (13:51 +0200)
commitb28b7adef5f4c2495310839437be0f90216777f1
tree54676d0a260a08e4b40d959823fd61c034cb4136
parentec9f24fac877661cfb0d1bbac8fe318ef0deef56
Slightly increase the default machine head size because the header block can stick out.
Cura/gui/projectPlanner.py