removing some scripts

gturri · Mar 7, 2012 · b5467f9 · b5467f9
1 parent b72ffd6
commit b5467f9
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 1,266 deletions.
diff --git a/.gitignore b/.gitignore
@@ -31,7 +31,6 @@ temp.txt
 .libs/
 Makefile
 script/resultats.txt
-solution_checker/solution_checker
 config.h
 config.log
 config.status

diff --git a/script/evalQualifs.sh b/script/evalQualifs.sh
diff --git a/solution_checker/comp.sh b/solution_checker/comp.sh