Mon, 22 Jan 2018 08:21:02 +0100 compile-0.96.9.patch: guard default tip
Tomas Zeman <tzeman@volny.cz> [Mon, 22 Jan 2018 08:21:02 +0100] rev 3
compile-0.96.9.patch: guard
Fri, 23 Oct 2015 15:05:39 +0200 anyvar.patch
Tomas Zeman <tzeman@volny.cz> [Fri, 23 Oct 2015 15:05:39 +0200] rev 2
anyvar.patch
(0) -2 tip