Split managesieve.php file into two

Aleksander Machniak

2013-06-15 8ea08a826489bd105fe41a77c0b529f21070a837

1
2
3
4
CREATE TABLE "system" (
    name varchar(64) NOT NULL PRIMARY KEY,
    value text
);