Commit 6662cff8 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Add missing file.

parent e77fd95c
......@@ -39,6 +39,7 @@ why3.conf
/why3regtests.err
/why3regtests.out
/.merlin
/src/jessie/.merlin
# /bench/
/bench/programs/good/booleans/
......
REC
FLG @FRAMAC_INCLUDE@
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