diff -r 058bb3dc685f -r 0b59724cb3f2 misc/migration/3.15.0_common.py
--- a/misc/migration/3.15.0_common.py	Mon Jan 04 18:40:30 2016 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-import ConfigParser
-try:
-    undo_actions = config.cfgfile_parser.get('MAIN', 'undo-support', False)
-except ConfigParser.NoOptionError:
-    pass # this conf. file was probably already migrated
-else:
-    config.global_set_option('undo-enabled', bool(undo_actions))