We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 9d941e0 commit 023a136Copy full SHA for 023a136
.gitignore
@@ -18,3 +18,6 @@ Cargo.lock
18
19
# nvim project settings
20
.nvim.lua
21
+
22
+# Verus LOC metadata
23
+*.d
0 commit comments