Improvements to PR merge "add option show_real_foldernames"

Aleksander Machniak

2013-06-11 85e65c3c7672d0e56ada988a047f0f602ba0c964

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