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

ignore

parent 368592f2
*.tmp
*~
*.bak
......@@ -127,6 +128,7 @@ why3.conf
# /src/coq-plugin/
/src/coq-plugin/g_whytac.ml
/src/coq-plugin/whytac.cma
# /src/driver/
/src/driver/driver_lexer.ml
......
Supports Markdown
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