Small fix for HTML editor border radius

Aleksander Machniak

2014-11-13 58e184b022349530485125f489d1e080bafa6717

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