author | Philippe Pepiot <ph@itsalwaysdns.eu> |
Mon, 30 Mar 2020 15:19:23 +0200 | |
changeset 12959 | 39ee325e6758 |
parent 11057 | 0b59724cb3f2 |
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') |