author | Julien Cristau <julien.cristau@logilab.fr> |
Fri, 10 Jul 2015 17:40:08 +0200 | |
changeset 10535 | 44bba0f340ce |
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') |