chiark / gitweb /
~ianmdlvl / cura.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de2ee86) | patch
Small cleanup on the batch runner tool.
authordaid303 <daid303@gmail.com>
Thu, 4 Oct 2012 06:54:49 +0000 (08:54 +0200)
committerdaid303 <daid303@gmail.com>
Thu, 4 Oct 2012 06:54:49 +0000 (08:54 +0200)
commitc17676055fcedf584a833576c628b11e8b078488
treefddfefafd1ec0d315c52e818b0da30e32e0fcb4ftree | snapshot
parentde2ee865d755029486770496659d8b59e0a33ed1commit | diff
Small cleanup on the batch runner tool.
Cura/gui/batchRun.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.