.gitignore 44 Bytes
Newer Older
POTTIER Francois's avatar
POTTIER Francois committed
1
2
3
*.ml
*.mli
*.result
POTTIER Francois's avatar
POTTIER Francois committed
4
5
*.automaton
*.conflicts