chiark / gitweb /
Merge branch 'master' of github.com:daid/Cura
authorDaid <daid303@gmail.com>
Fri, 4 May 2012 17:28:29 +0000 (19:28 +0200)
committerDaid <daid303@gmail.com>
Fri, 4 May 2012 17:28:29 +0000 (19:28 +0200)
commit7d9bf5adfaced67630bbca2136a3cb809f10d72b
treedced259efa0bc777dc90fd97a77d32d1069bd582
parentc09861249e6fbad0aa8262f0d642316153cfae66
parent9a5508d0772fbcb3b18664c6796e920d6b6ead34
Merge branch 'master' of github.com:daid/Cura
Cura/gui/projectPlanner.py