Move coverage script to Makefile
Also includes some cleanup of unnecessary files in .gitignore which should belong in a global .gitignore.
Showing
Makefile
0 → 100644
scripts/coverage
deleted
100644 → 0
Please
register
or
sign in
to comment