.gitignore

5f1bd9b7 · Jean-Christophe Filliâtre · 3ed11623 · 5f1bd9b7
Commit 5f1bd9b7 authored Jan 22, 2011 by Jean-Christophe Filliâtre
--- a/.gitignore
+++ b/.gitignore
@@ -38,6 +38,7 @@ why.conf
 /bench/programs/good/list/
 /bench/programs/good/see/
 /bench/programs/good/set/
+/bench/programs/good/recfun/

 # /bench/plugins/
 /bench/plugins/*.cm*