André cedc38fbaa [Web] Add search fields to some select forms ... [Web] Better container restart js, but still a wip [Web] Allow to set a DOCKER_TIMEOUT in vars.inc.php, default is 60 (seconds)		2018-07-23 20:01:01 +02:00
..
extensions	[Web] Add search fields to some select forms	2018-07-23 20:01:01 +02:00
keywords.xml
SieveDumpable.php
SieveException.php
SieveKeywordRegistry.php
SieveParser.php
SieveScanner.php
SieveScript.php
SieveSemantics.php
SieveToken.php
SieveTree.php