Commit 37d27ad4 authored by MARCHE Claude's avatar MARCHE Claude

ignore generated html files

parent c6dc4315
......@@ -181,6 +181,10 @@ why3.conf
/examples/programs/algo65/
/examples/programs/binary_search_c/
/examples/programs/dijkstra/
/examples/why3bench.html
/examples/*/*.html
/examples/*/*/*.html
/examples/*/*/*/*.html
# modules
/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