Import Debian changes 20180207-1
[hcoop/debian/mlton.git] / mlton / .gitignore
1 ## Ignore all .cm directories
2 .cm/
3
4 ## Ignore all .basis files
5 *.basis
6
7 /mlton-compile
8 /mlton-compile.exe
9 /mlton-compile.debug
10 /mlton-compile.debug.exe
11 /mlton-compile.alloc
12 /mlton-compile.alloc.exe
13 /mlton-compile.count
14 /mlton-compile.count.exe
15 /mlton-compile.time
16 /mlton-compile.time.exe
17 /mlton-compile.trace
18 /mlton-compile.trace.exe
19 /mlton-polyml
20 /mlton-polyml.exe
21 /mlton-polyml.use
22 /mlton-smlnj.*-*
23 /mlton-stubs.mlb
24 /mlton.def-use