-
Notifications
You must be signed in to change notification settings - Fork 1
/
.gitignore
61 lines (61 loc) · 809 Bytes
/
.gitignore
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
*~
.#*
\#*#
aclocal.m4
autom4te.cache
config.h
config.h.in
config.log
config.log
config.status
configure
.deps
.dirstamp
*.la
/lib/alloca.h
/lib/getopt-cdefs.h
/lib/getopt.h
/lib/libgnu.a
/lib/limits.h
.libs
/lib/stdio.h
/lib/stdlib.h
/lib/string.h
/lib/strings.h
/lib/sys/
libtool
/lib/unistd.h
/lib/wchar.h
/lib/wctype.h
*.lo
/m4/libtool.m4
/m4/lt~obsolete.m4
/m4/ltoptions.m4
/m4/ltsugar.m4
/m4/ltversion.m4
Makefile
Makefile.in
*.o
stamp-h*
*.tar.gz
/tcltl-*/
tcltl
/tests/defs
/tests/*.dir
/tests/*.log
/tests/run
/tests/*.trs
test-suite.log
/tools/compile
/tools/config.guess
/tools/config.sub
/tools/depcomp
/tools/install-sh
/tools/ltmain.sh
/tools/missing
/tools/py-compile
/tools/test-driver
/python/spot-extra/__pycache__/
/python/spot-extra/tchecker.py
/python/spot-extra/*.cxx
.ipynb_checkpoints