misc/migration/3.10.0_common.py
author Dimitri Papadopoulos <dimitri.papadopoulos@cea.fr>
Tue, 04 Feb 2014 15:29:29 +0100
changeset 9492 c7fc56eecd1a
parent 6012 d56fd78006cd
permissions -rw-r--r--
English typography Get rid of extra space before `!' and `?'
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')