Tim Ruffing 09b3bb8648 Clean up git tree ...

This removes the ununsed `obj` directory. It also suggests in the README
to create the "coverage" files in a separate directory and adds the
coverage files to .gitignore.

readme: Improve instructions for coverage reports

2021-05-14 11:37:44 +02:00

804 B

Raw Blame History

View Raw