CompLexSAT/.gitignore at master · lexvanderstoep/CompLexSAT · 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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
dist
dist-*
cabal-dev
*.o
*.hi
*.chi
*.chs.h
*.dyn_o
*.dyn_hi
.hpc
.hsenv
.cabal-sandbox/
cabal.sandbox.config
*.prof
*.aux
*.hp
*.eventlog
.stack-work/
cabal.project.local
cabal.project.local~
.HTF/
.ghc.environment.*

# Compiled class file
*.class

# Log file
*.log

# BlueJ files
*.ctxt

# Mobile Tools for Java (J2ME)
.mtj.tmp/

# Package Files #
*.jar
*.war
*.ear
*.zip
*.tar.gz
*.rar

# virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml
hs_err_pid*

# User-specific stuff:
Java/.idea/**/workspace.xml
Java/.idea/**/tasks.xml
Java/.idea/dictionaries

# Sensitive or high-churn files:
Java/.idea/**/dataSources/
Java/.idea/**/dataSources.ids
Java/.idea/**/dataSources.xml
Java/.idea/**/dataSources.local.xml
Java/.idea/**/sqlDataSources.xml
Java/.idea/**/dynamic.xml
Java/.idea/**/uiDesigner.xml

# Gradle:
Java/.idea/**/gradle.xml
Java/.idea/**/libraries

## File-based project format:
Java/*.iws

## Plugin-specific files:

# IntelliJ
Java/out/

# mpeltonen/sbt-idea plugin
Java/.idea_modules/

# JIRA plugin
Java/atlassian-ide-plugin.xml

# Cursive Clojure plugin
Java/.idea/replstate.xml

# Ruby plugin and RubyMine
Java/.rakeTasks

# Crashlytics plugin (for Android Studio and IntelliJ)
com_crashlytics_export_strings.xml
crashlytics.properties
crashlytics-build.properties
fabric.properties

Java/*.iml
Java/modules.xml
Java/.idea/misc.xml
Java/*.ipr

# Sonarlint plugin
Java/.idea/sonarlint