Closed Christian-B closed 6 months ago
coverage: 86.113% (+0.2%) from 85.943% when pulling a78876103cf90244e5f0fdce2c01dd569d8dae2e on md_math into 566538f2dc94230035fb580adf7f11a18601b5c7 on master.
do we still need this?
Good question - it was useful to see, but not sure if it is useful now the code is there in a different form...
Better not to merge as otherwise the code has to be maintained
coverage: 86.113% (+0.2%) from 85.943% when pulling a78876103cf90244e5f0fdce2c01dd569d8dae2e on md_math into 566538f2dc94230035fb580adf7f11a18601b5c7 on master.