diff options
Diffstat (limited to 'tools/coverage/descriptions.txt')
-rw-r--r-- | tools/coverage/descriptions.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/coverage/descriptions.txt b/tools/coverage/descriptions.txt deleted file mode 100644 index 5b07e04..0000000 --- a/tools/coverage/descriptions.txt +++ /dev/null @@ -1,2 +0,0 @@ -all - All tests |