*.DS_Store
*.d
*.glob
*.vo
*.vos
*.vok
*.html
/html
*.aux
Makefile.*
*.crashcoqide
*.v#
*.cache
*~
*.swp
*.orig
*/.#*
#*#
.#*
_esy
esy.lock/
*.conf
Makefile*