chiark / gitweb /
Quick fix for #839.
authordaid <daid303@gmail.com>
Wed, 14 May 2014 07:53:10 +0000 (09:53 +0200)
committerdaid <daid303@gmail.com>
Wed, 14 May 2014 07:53:10 +0000 (09:53 +0200)
commit8348f5c48d45bc8eb97b286817afc0eaeeead917
tree8e94718442f6304b5447b955fead5c12c002465a
parent1408bcce2947533149051a00c092a7015d5d761b
Quick fix for #839.
Cura/gui/preferencesDialog.py