Optimize list events for touch devices

Thomas Bruederli

2013-08-14 dc840082668fb1c99ad8f137abd460bcae7ac2da

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