.gitignore: delete .gitignore files in subdirectories.

[simgrid.git] / tools / gras / .gitignore

diff --git a/tools/gras/.gitignore b/tools/gras/.gitignore
deleted file mode 100644 (file)
index d115769..0000000
--- a/tools/gras/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-gras_stub_generator