eclipse-plugin/.gitignore at master · Frege/eclipse-plugin · GitHub

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
62
63
64
65
##########################
# those should be ignored
##########################
*.class
*.jar
src/frege/IO.java
src/frege/Version.java
src/frege/List.java
src/frege/MD.java
src/frege/Prelude.java
src/frege/PreludeProperties.java
src/frege/RT.java
src/frege/Scrap.java
src/frege/compiler/
src/frege/control/
src/frege/data/
src/frege/j/
src/frege/lib/
src/frege/prelude/
src/frege/rt/
src/frege/runtime/
src/frege/tools/


#################
## Eclipse
#################

*.pydevproject
.project
.metadata
bin/
tmp/
*.tmp
*.bak
*.swp
*~.nib
local.properties
.settings/
.loadpath

# External tool builders
.externalToolBuilders/

# Locally stored "Eclipse launch configurations"
*.launch

# CDT-specific
.cproject

# PDT-specific
.buildpath


############
## Windows
############

# Windows image file caches
Thumbs.db

# Folder config file
Desktop.ini