update cached files after updating gitignore

eth-cscs · Aug 12, 2023 · 28cc3b5 · 28cc3b5
1 parent 11eb5d0
commit 28cc3b5
Show file tree

Hide file tree

Showing 5 changed files with 1 addition and 4,336 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,4 @@
 /target
 /.vscode
 /sat-file
+Cargo.lock