diff options
Diffstat (limited to 'covoar/.gitignore')
-rw-r--r-- | covoar/.gitignore | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/covoar/.gitignore b/covoar/.gitignore deleted file mode 100644 index b32dd68..0000000 --- a/covoar/.gitignore +++ /dev/null @@ -1,10 +0,0 @@ -configfile-test -coverage_converter -covmerge -covoar -Explanations.txt.NotFound -html -latex -qemu-dump-trace -trace-converter -warnings.log |