Skip to content

Commit

Permalink
update gitignore
Browse files Browse the repository at this point in the history
  • Loading branch information
@lecopivo
lecopivo committed Dec 4, 2023
1 parent dcb67de commit 4f13117
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,3 +5,8 @@
/lake-packages
/SciLean/Doodle/
*.lean#
*.idx3-ubyte
*.idx1-ubyte
*.olean
/.lake/
SciLean/Doodle*

0 comments on commit 4f13117

Please sign in to comment.