chiark / gitweb /
Fix the batchrun tool.
authordaid303 <daid303@gmail.com>
Thu, 14 Feb 2013 15:01:51 +0000 (16:01 +0100)
committerdaid303 <daid303@gmail.com>
Thu, 14 Feb 2013 15:01:51 +0000 (16:01 +0100)
commit97680041d9db9a6752b3931f13e48a1f26836aae
treeaade18fd0f312ab7662781fd5fdf668e7a0627c8
parent98f47b20050b1533f4dc84c29eb5dfef52dee3f0
Fix the batchrun tool.
Cura/gui/tools/batchRun.py