chiark / gitweb /
Add raft settings (unused)
authordaid303 <daid303@gmail.com>
Thu, 2 May 2013 08:10:26 +0000 (10:10 +0200)
committerdaid303 <daid303@gmail.com>
Thu, 2 May 2013 08:10:26 +0000 (10:10 +0200)
commit626f7310556c6b443598964372348a670cc61614
treec3cb0ca460d5834ab4315a31a8520ba9ae2cc57d
parent32f606d84caf2d89337dd2ca27faa05d4e762fe4
Add raft settings (unused)
Cura/util/profile.py