2017-04-23 more operations;
wenzelm [Sun, 23 Apr 2017 17:23:38 +0200] rev 65559
more operations;
2017-04-23 support for multiple operations via options;
wenzelm [Sun, 23 Apr 2017 16:18:31 +0200] rev 65558
support for multiple operations via options;
2017-04-23 clarified tool name -- more official status;
wenzelm [Sun, 23 Apr 2017 15:59:51 +0200] rev 65557
clarified tool name -- more official status;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip