diff options
| -rw-r--r-- | .gitignore | 7 | ||||
| -rw-r--r-- | .hgignore | 7 | ||||
| l--------- | .ignore | 1 |
3 files changed, 7 insertions, 8 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..75325cc --- /dev/null +++ b/.gitignore @@ -0,0 +1,7 @@ +target/ +fuzz/target/ +corpus/ +fuzz/corpus/ +artifacts/ +coverage/ + diff --git a/.hgignore b/.hgignore deleted file mode 100644 index f5fca4b..0000000 --- a/.hgignore +++ /dev/null @@ -1,7 +0,0 @@ -^target$ -^fuzz/target$ -^corpus$ -^fuzz/corpus$ -^artifacts$ -^coverage$ - diff --git a/.ignore b/.ignore deleted file mode 120000 index 913762c..0000000 --- a/.ignore +++ /dev/null @@ -1 +0,0 @@ -.hgignore
\ No newline at end of file |