Ignore pycache

lean-dojo · Dec 7, 2023 · 95a9537 · 95a9537
1 parent a6d987e
commit 95a9537
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.dockerignore b/.dockerignore
@@ -3,4 +3,5 @@
 tmp
 lake-packages
 .lake
-clang+llvm*
+clang+llvm*
+python/__pycache__
diff --git a/.gitignore b/.gitignore
@@ -3,3 +3,4 @@
 
 .vscode
 *.olean
+python/__pycache__