diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2009-08-23 03:55:30 +0200 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2009-08-23 03:55:30 +0200 |
commit | 2cc81c9dd026f483683683c7e11e2dd612ac716e (patch) | |
tree | 59ae5a8cf08dd9156f306a470b9f6c345995efdb | |
parent | 2049ccf1a2d469e4c04dc4345e2a5dd067d1a6df (diff) | |
download | mdk-2cc81c9dd026f483683683c7e11e2dd612ac716e.tar.gz mdk-2cc81c9dd026f483683683c7e11e2dd612ac716e.tar.bz2 |
autom4te cache dir removed
-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 |