forked from MetaBorgCube/IceDust
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.gitignore
47 lines (47 loc) · 922 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
bin
.cache
include/Relations.def
include/Relations-parenthesize.str
include/Relations-Permissive.def
include/Relations.generated.pp.af
include/Relations.packed.esv
include/Relations.pp.af
include/Relations.rtg
include/Relations.str
include/Relations.tbl
include/relations.rtree
include/relations.ctree
include/relations.ctree.dep
include/relations.jar
include/relations-java.jar
editor/java/trans
editor/*.generated.*
syntax/Relations*.generated.esv
syntax/Relations.generated.pp
trans/*.pp.generated.str
trans/types.generated.str
trans/*/types.generated.str
trans/names.str
trans/*/names.str
.settings/org.eclipse.jdt.core.prefs
lib/runtime
lib/analysis
lib/editor
lib/index
lib/nabl
lib/properties
lib/relations
lib/task
lib/tmpl
lib/types
lib/*.generated.str
lib-refactoring/*.generated.str
*.aterm
*/*.aterm
*/*/*.aterm
*/*/*/*.aterm
*/*/*/*/*.aterm
syntax/*.sdf
/include
update/target
relations-eclipse-plugin/target