Skip to content
Snippets Groups Projects
Commit 2f3105f6 authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[wp] git ignore

parent a086a53e
No related branches found
No related tags found
No related merge requests found
/ergo/*.mlw.bak *.vo
/why3/why3.conf *.glob
/why3/*.why.bak *.aux
/why3/*.vo
/why3/*.glob
/why3/.*.aux
/why3/.depend
/coqwp/.depend
/coqwp/*/*.vo
/coqwp/*/*.glob
/coqwp/*.vo
/coqwp/*.glob
/coqwp/.*.aux
/coqwp/*/.*.aux
/.depend
/instwp /instwp
/install /install
/html /html
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment