Skip to content

Commit

Permalink
Ignore distributable zip
Browse files Browse the repository at this point in the history
  • Loading branch information
@benkeks
benkeks committed Apr 28, 2023
1 parent 971bd81 commit 7720f65
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 2 deletions.
3 changes: 2 additions & 1 deletion .dockerignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,4 +21,5 @@

bib
Dockerfile
doc/artifact/equivalence-fiddle-docker.tar.gz
doc/artifact/equivalence-fiddle-docker.tar.gz
doc/artifact/equivalence-fiddle.zip
3 changes: 2 additions & 1 deletion .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,4 +19,5 @@ metals.sbt
.bsp

bib
doc/artifact/equivalence-fiddle-docker.tar.gz
doc/artifact/equivalence-fiddle-docker.tar.gz
doc/artifact/equivalence-fiddle.zip

0 comments on commit 7720f65

Please sign in to comment.