Commit 783d8db5 authored by MARCHE Claude's avatar MARCHE Claude

new ignored dirs

parent d395820f
...@@ -308,6 +308,8 @@ pvsbin/ ...@@ -308,6 +308,8 @@ pvsbin/
/examples/prover/bench/*/*.txt /examples/prover/bench/*/*.txt
/examples/prover/bench1 /examples/prover/bench1
/examples/prover/bench2 /examples/prover/bench2
/examples/prover/macro_generator/depend
/examples/prover/macro_generator/build
# Try Why3 # Try Why3
/src/trywhy3/trywhy3.byte /src/trywhy3/trywhy3.byte
......
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