misc/migration/3.8.3_common.py
author Rémi Cardona <remi.cardona@free.fr>
Tue, 19 Aug 2014 12:04:23 +0200
changeset 10066 313ce53a7232
parent 5589 25bf54dab82b
permissions -rw-r--r--
[devtools] Remove unused local function Unused since cw's first commit.

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')