]> git.tue.mpg.de Git - lopsub.git/tag
v1.0.1
object c14e1e2834de96ef3283c7901ab195c678c9eeaa
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 28 Nov 2017 09:56:38 +0000 (10:56 +0100)
As of this version, the generated scanners are reentrant.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iEYEABECAAYFAlodM00ACgkQWto1QDEAkw8ZhwCeNZyv4VccfAzwZAX06ZGhuf0F
FogAnjn8BWllcgIO9/QZ/8cD/+7qh5t6
=lyqe
-----END PGP SIGNATURE-----