added .lock files to gitignore

2023-11-21 21:23:06 +01:00 · 2023-11-21 21:23:06 +01:00 · 262a0496da
parent 531424f6ad
commit 262a0496da
1 changed files with 3 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -320,3 +320,6 @@ main.pdf
 # these hold all the clutter we do not want to have 
 tmp
 build
+
+# ignore devbox.lock and any other lock file
+*.lock