Fix input-button disabled state; add support for jquery UI buttons of type ...

Thomas Bruederli

2014-03-09 34ddfcecef682109e79f378a56b2868d0328c5f7

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