Mercurial > urweb
comparison .hgignore @ 764:7f653298dd66
C FFI compiler options
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 30 Apr 2009 17:15:14 -0400 |
parents | 3c77133afd9a |
children | 5e8b6fa5b48f |
comparison
equal
deleted
inserted
replaced
763:af41ec2f302a | 764:7f653298dd66 |
---|---|
11 | 11 |
12 *.lex.* | 12 *.lex.* |
13 *.grm.* | 13 *.grm.* |
14 *.o | 14 *.o |
15 | 15 |
16 ./Makefile | |
17 src/config.sml | 16 src/config.sml |
18 | 17 |
19 *.exe | 18 *.exe |
20 | 19 |
21 *.cache | 20 *.cache |
35 *.toc | 34 *.toc |
36 | 35 |
37 .depend | 36 .depend |
38 Makefile.coq | 37 Makefile.coq |
39 *.vo | 38 *.vo |
39 | |
40 syntax: regexp | |
41 | |
42 ^Makefile | |
43 ^src/coq/Makefile |