misc/migration/3.15.0_common.py
changeset 8306 4da49700b06a
child 8352 0e3b41118631
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/misc/migration/3.15.0_common.py	Thu Mar 15 14:26:12 2012 +0100
@@ -0,0 +1,2 @@
+undo_actions = config.cfgfile_parser.get('MAIN', 'undo-support', False)
+config.global_set_option('undo-enabled', bool(undo_actions))