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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6012
d56fd78006cd [session] cleanup session-time / cleanup-session-time...
Sylvain Thénault <sylvain.thenault@logilab.fr>
parents:
diff changeset
     1
option_group_changed('cleanup-session-time', 'web', 'main')