chiark / gitweb /
Merge branch 'master' of github.com:daid/Cura
authordaid303 <daid303@gmail.com>
Mon, 17 Dec 2012 13:15:50 +0000 (14:15 +0100)
committerdaid303 <daid303@gmail.com>
Mon, 17 Dec 2012 13:15:50 +0000 (14:15 +0100)
commit26e85f4ee65d0ab90e933de6e44e7487d68313ae
treed82bf817afe1367e8e1e1737d361695c9b1ccd94
parent073fb3109f230fb4f546d05b377bee6cd31bac64
parentb0cbce6b02e4368f40663529cb75cc679233eaca
Merge branch 'master' of github.com:daid/Cura
Cura/gui/app.py