Commits

wojc...@gmail.com  committed 16da315

add dependency files to .hgignore

  • Participants
  • Parent commits 2c241c7

Comments (0)

Files changed (1)

-^src/.*\.(glob|vo)$
+^src/.*\.(glob|vo|d)$
+Makefile.coq