Mercurial > urweb
view .hgignore @ 312:f387d12193ba
Datatype positivity check
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 09 Sep 2008 09:15:00 -0400 |
parents | 71bafe66dbe1 |
children | 168667cdaa95 |
line wrap: on
line source
syntax: glob *~ .cm src/.cm bin/* src/urweb.cm src/urweb.mlb *.lex.* *.grm.* *.o