forked from javapathfinder/jpf-core
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.gitignore
73 lines (60 loc) · 937 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
62
63
64
65
66
67
68
69
70
71
72
73
local.properties
.version
build.properties
####### General #######
*.swo
trace
activity*.png
*.class
*.orig
*~
*.DS_Store
####### Ant #######
build/
####### Gradle #######
.gradle/
reports/
####### Covers NetBeans IDE #######
nbproject/private/
nbbuild/
dist/
nbdist/
.nb-gradle/
####### Covers Eclipse IDE #######
.idea/
.metadata
tmp/
*.tmp
*.bak
*.swp
*~.nib
.settings/
.loadpath
.recommenders
.classpath
.project
####### Covers JetBrains IDE: IntelliJ #######
*.iml
*.ipr
# User-specific stuff:
.idea/**/workspace.xml
.idea/**/tasks.xml
.idea/dictionaries
.idea/ant.xml
# Sensitive or high-churn files:
.idea/**/dataSources/
.idea/**/dataSources.ids
.idea/**/dataSources.local.xml
.idea/**/sqlDataSources.xml
.idea/**/dynamic.xml
.idea/**/uiDesigner.xml
# Gradle:
.idea/**/gradle.xml
.idea/**/libraries
## File-based project format:
*.iws
## Plugin-specific files:
# IntelliJ
out/
# JIRA plugin
atlassian-ide-plugin.xml