Mercurial > urweb
view .hgignore @ 2094:0d898b086bbe
Improve wildify heuristic for finding record type-class witnesses
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 23 Dec 2014 13:42:20 -0500 |
parents | 4ad46302f659 |
children | b7cb53affc08 |
line wrap: on
line source
syntax: glob *~ .cm src/.cm bin/* src/urweb.cm src/urweb.mlb *.lex.* *.grm.* *.o .deps .libs *.lo *.la *.mlton.grm *.mlton.lex src/config.sml *.exe *.cache *.log *.status demo/out/*.html demo/demo.* demo/more/out/*.html demo/more/demo.* doc/*.html *.sql *mlmon.out *.aux *.dvi *.pdf *.ps *.toc .depend Makefile.coq *.vo *.v.d *.glob xml/parse xml/entities.sml Makefile.in src/c/Makefile.in ar-lib *.m4 m4/libtool.m4 m4/lt*.m4 config.* configure depcomp install-sh ltmain.sh missing tests/*.db syntax: regexp ^Makefile$ ^src/c/Makefile$ ^libtool$ ^include/urweb/config.h$ ^include/urweb/config.h.in$ ^include/urweb/stamp-h1$