aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore3
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 570dc6c..efe4341 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,13 +14,14 @@ cpt-lib
[._]sw[a-p]
### Redo files
-/.redo
+.redo
/.do_built
/.do_built.dir
*.tmp
*.did
.dep*
.target*
+.lock.*
### Texinfo ###
*.info