chiark / gitweb /
Do not import the batchrun tool, does not work yet.
authordaid303 <daid303@gmail.com>
Thu, 2 May 2013 10:31:32 +0000 (12:31 +0200)
committerdaid303 <daid303@gmail.com>
Thu, 2 May 2013 10:31:32 +0000 (12:31 +0200)
commit7675ee8baba2e44249461bb6aefa5f98a4ab6864
tree8a1eaa6abf2f2b5a262c474741b71ece6f34f6e5
parent68fc669b495ceca09df3e8e5cd489144c17533da
Do not import the batchrun tool, does not work yet.
Cura/gui/mainWindow.py