Renamed documentation file

bernedom · Apr 17, 2019 · ec62d5e · ec62d5e
1 parent 88f1d0e
commit ec62d5e
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/doc/running-coverage.md → doc/code-quality-tools.md b/doc/running-coverage.md → doc/code-quality-tools.md