Don't ignore Cargo.lock

verus-lang · Feb 3, 2023 · 2faae94 · 2faae94
1 parent 68c5aa3
commit 2faae94
Show file tree

Hide file tree

Showing 2 changed files with 1,530 additions and 1 deletion.
diff --git a/source/.gitignore b/source/.gitignore
@@ -1,5 +1,4 @@
 target/
 z3
-Cargo.lock
 /.verus-log/
 doc/