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)
commit9bd490132fabdfc9c6df4ceeb6b8e96308a643e4
treeacf254b37c5868c7fa19a1201ab31d899e69bf56
parent8abc47dbea126577f81c4df7cf4bae8fe5c70a8e
parent6fde75cfa38a311d0d6d520ec29f54b57dc0fe41
Merge pull request #590 from grimmy/SteamEngine

Made the CuraEngine repo configurable