Sun, 06 Aug 2017 17:32:32 +0200 handle server connections;
wenzelm [Sun, 06 Aug 2017 17:32:32 +0200] rev 66350
handle server connections;
Sun, 06 Aug 2017 13:35:03 +0200 clarified database names;
wenzelm [Sun, 06 Aug 2017 13:35:03 +0200] rev 66349
clarified database names;
Sun, 06 Aug 2017 13:29:38 +0200 more options;
wenzelm [Sun, 06 Aug 2017 13:29:38 +0200] rev 66348
more options; misc tuning and clarification;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip