chiark / gitweb /
~ianmdlvl / cura.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0fa78be) | patch
Hide the batch run tool.
authordaid303 <daid303@gmail.com>
Fri, 19 Apr 2013 19:53:47 +0000 (21:53 +0200)
committerdaid303 <daid303@gmail.com>
Fri, 19 Apr 2013 19:53:47 +0000 (21:53 +0200)
commitc6f2ead053e725011b44faa2424e3f733b8ffbf7
tree2234ee38fc1702c1dc813bed114ad1266a16d104tree | snapshot
parent0fa78be25b237ea5b3a2f560d2a31c87aac421b9commit | diff
Hide the batch run tool.
Cura/gui/mainWindow.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.