lisa/.gitignore at main · SimonGuilloud/lisa · 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
98
99
# IDEs
.idea
.idea_modules
*.iml
.metals
.vscode
*.code-workspace
.ensime
.ensime_cache/
project/metals.sbt
project/project/metals.sbt
.eclipse
.settings/
.classpath
.project
bin/

# sbt specific
sbt-launch.jar
dist/*
lib_managed/
src_managed/
project/boot/
project/plugins/project/

# build-related
.bsp
.bloop
target/
*.class
*.log
*.scala.semanticdb

# Scala-specific
*.tasty
.scala_dependencies
.worksheet
.cache-main
.cache-tests

# silex and scallion
silex/*
scallion/*

# caching of theorems
cache/
*.cache

# OS-specific
.DS_Store
.DS_Store?
._*
.Spotlight-V100
.Trashes
ehthumbs.db
Thumbs.db
*~
.directory

# emacs backup files
*~
\#*\#
.#*

# vim backup files
*.swp
*.swo
*~
.*.sw?

# Logs
*.log
logs/

# Temporary files
*.tmp
*.temp
tmp/
temp/

# Test outputs
test-output/
*.test

# Assembly / JAR outputs
*.jar
!project/sbt-launch.jar
assembly/

# REPL history
.scala_history

# Documentation
site/
doc/api/

# Environment
.env
.env.local