misc/migration/3.8.3_common.py
author Dimitri Papadopoulos <dimitri.papadopoulos@cea.fr>
Tue, 04 Feb 2014 15:29:29 +0100
changeset 9492 c7fc56eecd1a
parent 5589 25bf54dab82b
permissions -rw-r--r--
English typography Get rid of extra space before `!' and `?'

option_group_changed('port', 'main', 'web')
option_group_changed('query-log-file', 'main', 'web')
option_group_changed('profile', 'main', 'web')
option_group_changed('max-post-length', 'main', 'web')