Christian Grothoff 88ff3e8bb5 have sensible default		2015-05-15 16:14:35 +02:00
..
mint-template	have sensible default	2015-05-15 16:14:35 +02:00