4 Commits

Author	SHA1	Message	Date
Christian Grothoff	b696e1db1d	fix range check, make messages clearer	2015-06-18 14:04:42 +02:00
Christian Grothoff	5740506b24	refactoring mint API, mostly done (compiles again, /keys might even work)	2015-06-17 18:50:09 +02:00
Christian Grothoff	93bc450db3	enable code coverage configure option	2015-04-13 13:57:38 +02:00
Christian Grothoff	c626ccac51	second round of renamefest	2015-03-28 11:06:00 +01:00