diff --git a/local/.gitignore b/local/.gitignore deleted file mode 100644 index 72e8ffc0db8aad71a934dd11e5968bd5109e54b4..0000000000000000000000000000000000000000 --- a/local/.gitignore +++ /dev/null @@ -1 +0,0 @@ -*