chiark / gitweb /
Fix compatibility with older preferences ini.
authordaid303 <daid303@gmail.com>
Thu, 21 Mar 2013 08:44:42 +0000 (09:44 +0100)
committerdaid303 <daid303@gmail.com>
Thu, 21 Mar 2013 08:44:42 +0000 (09:44 +0100)
commit461188a6eca0cd138dfa4bfbe2b81879727117d1
tree36be2a424cc0e06eefbe551c48870584fb8375f2
parentb771518b5591b85e862c1a1fe21bad6b10f9668b
Fix compatibility with older preferences ini.
Cura/util/profile.py