misc/migration/3.10.0_common.py
author Christophe de Vienne <cdevienne@gmail.com>
Sat, 14 Dec 2013 14:29:37 +0100
branchstable
changeset 9431 2b183c110631
parent 6012 d56fd78006cd
permissions -rw-r--r--
[doc] Update the debian stable name to wheezy

option_group_changed('cleanup-session-time', 'web', 'main')