Mercurial > urweb
view .hgignore @ 517:aceb2d982f8f
Catch another unneeded lift in ElabEnv.pushCRel
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 27 Nov 2008 11:06:10 -0500 |
parents | ca95f9e4d45f |
children | a6159d0940f0 |
line wrap: on
line source
syntax: glob *~ .cm src/.cm bin/* src/urweb.cm src/urweb.mlb *.lex.* *.grm.* *.o Makefile src/config.sml *.exe *.cache *.log *.status demo/out/*.html demo/demo.* *.sql *mlmon.out