chiark / gitweb /
Fix the mirror options.
authordaid303 <daid303@gmail.com>
Sun, 13 Jan 2013 19:02:46 +0000 (20:02 +0100)
committerdaid303 <daid303@gmail.com>
Sun, 13 Jan 2013 19:02:46 +0000 (20:02 +0100)
commit94eed1b0df16033d0b38731e5dc06c94a93f1bf1
tree3ccee373a8bcaf261cf580626a08de7d4dc43afa
parentf46ab19979aeca07fabc8a3cc7c8fe39e9b24e21
Fix the mirror options.
Cura/util/profile.py