comparison .hgignore @ 378:168667cdaa95

Proper configuration and installation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 19 Oct 2008 12:47:10 -0400
parents 71bafe66dbe1
children 758304561b60
comparison
equal deleted inserted replaced
377:78358e5df273 378:168667cdaa95
10 src/urweb.mlb 10 src/urweb.mlb
11 11
12 *.lex.* 12 *.lex.*
13 *.grm.* 13 *.grm.*
14 *.o 14 *.o
15
16 Makefile
17 src/config.sml
18
19 *.exe
20
21 *.cache
22 *.log
23 *.status