Commit 107a7483 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

ignore

parent 0e7028e0
...@@ -205,9 +205,12 @@ why.conf ...@@ -205,9 +205,12 @@ why.conf
/examples/programs/course/ /examples/programs/course/
/examples/programs/wcet_hull/ /examples/programs/wcet_hull/
/examples/programs/binary_search2/ /examples/programs/binary_search2/
/examples/programs/vacid_0_red_black_trees/
/examples/programs/vacid_0_red_black_trees_harness/
# theories # theories
/theories/int/ /theories/int/
# modules # modules
/modules/stdlib/
/modules/string/ /modules/string/
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