2 Commits

Author	SHA1	Message	Date
Christian Grothoff	a252daa6a1	factor out more helpers	2018-01-21 19:11:27 +01:00
Christian Grothoff	673e418c76	forgotten file	2018-01-21 18:45:19 +01:00