diff PreferencesDialog.py @ 137:5b131f82057d

allow choosing the backend via commandline option
author Dirk Olmes <dirk@xanthippe.ping.de>
date Tue, 23 Aug 2011 14:36:58 +0200
parents e830fa1cc7a2
children e8bb107a74e1
line wrap: on
line diff