4 Commits

Author	SHA1	Message	Date
Christian Grothoff	9eff97869c	mark as executable	2019-12-15 12:44:16 +01:00
Christian Grothoff	b5cba32510	renaming mint->exchange	2016-03-01 15:35:04 +01:00
Christian Grothoff	22f022eccb	update coverage script	2015-07-11 18:04:10 +02:00
Christian Grothoff	9eac126e52	adding script to generate code coverage report	2015-05-17 09:49:09 +02:00