diff options
| -rw-r--r-- | autom4te.cache/.gitignore | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/autom4te.cache/.gitignore b/autom4te.cache/.gitignore deleted file mode 100644 index 7faad4c..0000000 --- a/autom4te.cache/.gitignore +++ /dev/null @@ -1,7 +0,0 @@ -/output.0 -/output.1 -/output.2 -/requests -/traces.0 -/traces.1 -/traces.2 |