chiark / gitweb /
Merge pull request #590 from grimmy/SteamEngine
authordaid <daid303@gmail.com>
Mon, 21 Oct 2013 11:47:58 +0000 (04:47 -0700)
committerdaid <daid303@gmail.com>
Mon, 21 Oct 2013 11:47:58 +0000 (04:47 -0700)
Made the CuraEngine repo configurable


Trivial merge