Remove and ignore a tags fils

jvoisin · Dec 12, 2020 · 0a56c66 · 0a56c66
1 parent 91b34d3
commit 0a56c66
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3,364 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,5 @@
 *.txt
+tags
 *.orig
 *.gdbhistory
 *.swp