2 commits

Author	SHA1	Message	Date
Eelco Dolstra	844d83352c	More "make dist" fixes	2014-02-01 15:18:48 +01:00
Eelco Dolstra	6ef32bddc1	Fix "make dist"	2014-02-01 14:38:12 +01:00