ignore why3session binaries

parent 87187479
......@@ -75,6 +75,8 @@ why3.conf
/bin/why3stats.byte
/bin/why3stats.opt
/bin/why3stats
/bin/why3session.opt
/bin/why3session
# /doc/
/doc/version.tex
......
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