chiark / gitweb /
Merge branch 'master' of github.com:daid/Cura
authordaid <daid303@gmail.com>
Wed, 18 Apr 2012 08:51:01 +0000 (10:51 +0200)
committerdaid <daid303@gmail.com>
Wed, 18 Apr 2012 08:51:01 +0000 (10:51 +0200)
commit1891ebe9ff84ccf72fda5dc1ca0c2615ff4b81f6
tree4f3756ba8b360a97ff8a8fd298d9e0c30e32b3ff
parent0ebce8cf3e4cad0f65c6dd07fe66afc9fbf60734
parenta034a54a7c5be773536abd01bb33f4134196b614
Merge branch 'master' of github.com:daid/Cura
Cura/util/profile.py