Ajout du script configure (et modification de .gitignore) pour permettre à Huibo...

[tatoo.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 6902bbf..7c5eb1c 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -9,7 +9,6 @@ tests/*.results/*_tatoo*
 tests/trace/*.html
 tests/trace/*.dot
 tests/trace/*.svg
-configure
 config.status
 Remakefile
 Makefile