chiark / gitweb /
~ianmdlvl / cura.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b02b16) | patch
Add a tools menu for the project planner and the batch runner, makes them easier...
authordaid <daid303@gmail.com>
Thu, 20 Sep 2012 13:17:49 +0000 (15:17 +0200)
committerdaid <daid303@gmail.com>
Thu, 20 Sep 2012 13:17:49 +0000 (15:17 +0200)
commit19cdf497337cebf84dafa1a070d78e37cab38058
tree4d36a24f99c5e84386ecec4762c4e3e9820977e6tree | snapshot
parent7b02b1661abfc24a8f81229125c35e0928b0168ecommit | diff
Add a tools menu for the project planner and the batch runner, makes them easier to find then filling up the file menu.
Cura/gui/mainWindow.py diff | blob | history
Cura/gui/simpleMode.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.