changeset 11057 | 0b59724cb3f2 |
parent 11052 | 058bb3dc685f |
child 11058 | 23eb30449fe5 |
--- 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))