chiark / gitweb /
Add extra settings for easier machine switching in the future.
authordaid <daid303@gmail.com>
Mon, 23 Sep 2013 14:44:20 +0000 (16:44 +0200)
committerdaid <daid303@gmail.com>
Mon, 23 Sep 2013 14:44:20 +0000 (16:44 +0200)
commitbe5926175eb4f545f2b95b212d4d0a805780d383
tree4916e1f5b634064598a8278c6b7fa715e314bbfc
parent5ff0c459f67a2210907d4ebf4ae991a764a4b779
Add extra settings for easier machine switching in the future.
Cura/util/profile.py