blob: 401353b3d6a05372ffef3fa8ff26d6d6972c02c4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
syntax: glob
*~
.cm
src/.cm
bin/*
src/urweb.cm
src/urweb.mlb
*.lex.*
*.grm.*
*.o
.deps
.libs
*.lo
*.la
*.mlton.grm
*.mlton.lex
src/config.sml
*.exe
*.cache
*.log
*.status
demo/out/*.html
demo/demo.*
demo/more/out/*.html
demo/more/demo.*
doc/*.html
*.sql
*mlmon.out
*.aux
*.dvi
*.pdf
*.ps
*.toc
.depend
Makefile.coq
*.vo
xml/parse
xml/entities.sml
syntax: regexp
^Makefile$
^src/c/Makefile$
^src/coq/Makefile$
^libtool$
^config.h$
^stamp-h1$
|
