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