Commits

Anonymous committed f75470d Draft

small fixes for .hgignore

  • Participants
  • Parent commits a15815d

Comments (0)

Files changed (1)

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