Commit cb158ea9 authored by Andrei Paskevich's avatar Andrei Paskevich

readd /bench/program/good/* dans .gitignore

parent abe4fb02
......@@ -26,6 +26,15 @@ why.conf
/distrib
/META
# /bench/
/bench/programs/good/booleans/
/bench/programs/good/exceptions/
/bench/programs/good/for/
/bench/programs/good/list/
/bench/programs/good/see/
/bench/programs/good/set/
/bench/programs/good/recfun/
# /bin/
/bin/why3.byte
/bin/why3.opt
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment