changeset 5590 | a56eb02f9ce7 |
parent 5508 | 6718ba5db0eb |
parent 5580 | 3e9e6dd54ebb |
child 5967 | 8deedfeb7846 |
--- a/migration.py Tue May 25 11:51:48 2010 +0200 +++ b/migration.py Wed May 26 12:33:48 2010 +0200 @@ -332,7 +332,7 @@ """a configuration option has been renamed""" self._option_changes.append(('renamed', oldname, newname)) - def cmd_option_group_change(self, option, oldgroup, newgroup): + def cmd_option_group_changed(self, option, oldgroup, newgroup): """a configuration option has been moved in another group""" self._option_changes.append(('moved', option, oldgroup, newgroup))