forked from delta-io/delta-rs
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.gitignore
29 lines (27 loc) · 611 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
/target
**/target
*.sw*
tlaplus/*.toolbox/*_SnapShot_*/
tlaplus/*.toolbox/*_SnapShot_*.launch
tlaplus/*.toolbox/*.tla.pmap
tlaplus/*.toolbox/*/*.out
tlaplus/*.toolbox/*/*.tla
tlaplus/*.toolbox/*/MC.cfg
tlaplus/*.toolbox/*/[0-9]*-[0-9]*-[0-9]*-[0-9]*-[0-9]*-[0-9]*/
/.idea
.vscode
.env
**/.DS_Store
**/.python-version
.coverage
*.env
__azurite*
__blobstorage__
.githubchangeloggenerator.cache.log
.githubchangeloggenerator.cache/
.githubchangeloggenerator*
# Add all Cargo.lock files except for those in binary crates
Cargo.lock
!/aws/delta-checkpoint/Cargo.lock
!/delta-inspect/Cargo.lock
!/proofs/Cargo.lock