blob: cd7886cde70ac794d955174f52eb9a78192fa6c0 (
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
|
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.*
*.sql
*mlmon.out
*.aux
*.dvi
*.pdf
*.ps
*.toc
aclocal.m4
.depend
Makefile.coq
*.vo
syntax: regexp
^Makefile$
^src/c/Makefile$
^src/coq/Makefile$
^libtool$
|
