5 Commits

Author	SHA1	Message	Date
Per Qvarforth	cc2ffeaa41	added coverage configuration options	2022-02-21 21:50:11 +01:00
Per Qvarforth	6ad77a8f4a	fixed include path	2022-02-13 12:05:02 +00:00
Per Qvarforth	1ead0a3847	modified bootstrap include path	2022-02-11 20:15:51 +00:00
Per Qvarforth	1f10ea0f94	website modification	2022-02-05 10:38:25 +01:00
Per Qvarforth	9658ebdb48	reintroduced support for coverage maps	2022-01-30 13:33:56 +01:00