forked from abstools/abstools
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy path.gitignore
45 lines (45 loc) · 1.35 KB
/
.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
.DS_Store
/.vagrant
/.gradle
/.idea/
/.vscode/
.rebar/
.settings/
.project
.classpath
target/
build/
out/
/log/
/frontend/bin/
/frontend/dist/
/abs-docs/**/*.aux
/abs-docs/**/*.bbl
/abs-docs/**/*.blg
/abs-docs/**/*.log
/abs-docs/**/*.nout
/abs-docs/**/*.toc
/abs-docs/**/*.out
/abs-docs/Ott/**/Makefile.coq
/abs-docs/Ott/**/Makefile.coq.conf
/abs-docs/Ott/**/*.glob
/abs-docs/Ott/**/*.vo
/abs-docs/Ott/**/.coqdeps.d
/abs-docs/Ott/core_abs.v
/abs-docs/Ott/core_abs.v.d
/abs-docs/Ott/core-abs-coq.pdf
/abs-docs/Ott/core-abs-coq.tex
/abs-docs/Ott/core-abs.pdf
/abs-docs/Ott/core-abs_included.tex
/abs-docs/ReferenceManual/absrefmanual.pdf
/abs-docs/ReferenceManual/gitRevision.tex
/abs-foreign-interface/java/abs-java-util/bin/
/frontend/src/main/resources/erlang/absmodel/_build/default/lib/.rebar3/
/frontend/src/main/resources/erlang/absmodel/_build/default/lib/absmodel/include
/frontend/src/main/resources/erlang/absmodel/_build/default/lib/absmodel/src
/frontend/src/main/resources/erlang/absmodel/_build/default/lib/cowboy/
/frontend/src/main/resources/erlang/absmodel/_build/default/lib/esqlite/
/frontend/src/main/resources/erlang/absmodel/_build/default/lib/jsx/
/frontend/src/main/resources/erlang/absmodel/_build/default/lib/cowlib/
/frontend/src/main/resources/erlang/absmodel/_build/default/lib/ranch/
/frontend/src/main/resources/erlang/absmodel/_build/default/plugins/