Fri, 06 May 2016 12:45:24 +0200 g+r for archiv default tip
pesch [Fri, 06 May 2016 12:45:24 +0200] rev 6
g+r for archiv
Fri, 06 May 2016 12:43:42 +0200 .tar.xz changed to tar.gz
pesch [Fri, 06 May 2016 12:43:42 +0200] rev 5
.tar.xz changed to tar.gz
Fri, 06 May 2016 11:13:14 +0200 second check in
pesch [Fri, 06 May 2016 11:13:14 +0200] rev 4
second check in
(0) -3 tip