blob: f56e59320399bf3457e0a619607820ef42a8683a (
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
|
syntax: glob
*~
.cm
src/.cm
bin/*
src/urweb.cm
src/urweb.mlb
*.lex.*
*.grm.*
*.o
*.do
*.so.*
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
.depend
Makefile.coq
*.vo
syntax: regexp
^Makefile
^src/coq/Makefile
|
