misc: merge src/.gitignore to repository root

diff --git a/.gitignore b/.gitignore
index af289f1..84665b1 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -13,6 +13,9 @@ src/parser/.nit.sablecc3
 src/parser/.nit.sablecc3.dump
 src/parser/.parser-nofact.nit
 src/nit_version.nit
+src/callgrind.*
+src/*.log
+src/*.dot
 
 c_src/*.o
 c_src/*.cksum

diff --git a/src/.gitignore b/src/.gitignore
deleted file mode 100644 (file)
index 967bc4f..0000000
--- a/src/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-callgrind.*
-*.log
-*.dot