author | Julien Cristau <julien.cristau@logilab.fr> |
Mon, 09 Nov 2015 15:37:55 +0100 | |
changeset 10873 | 0611466ce367 |
parent 6012 | d56fd78006cd |
permissions | -rw-r--r-- |
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') |