Mon, 06 Aug 2018 15:19:39 +0200 updated screenshot;
wenzelm [Mon, 06 Aug 2018 15:19:39 +0200] rev 68737
updated screenshot;
Mon, 06 Aug 2018 14:29:46 +0200 updated documentation;
wenzelm [Mon, 06 Aug 2018 14:29:46 +0200] rev 68736
updated documentation;
Thu, 02 Aug 2018 16:02:56 +0200 suppress verit-2016post -- not ready for release;
wenzelm [Thu, 02 Aug 2018 16:02:56 +0200] rev 68735
suppress verit-2016post -- not ready for release;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip