diff --git a/.gitignore b/.gitignore index 2b2f3487..de63271c 100644 --- a/.gitignore +++ b/.gitignore @@ -25,3 +25,6 @@ Setup .stack-work shell.nix default.nix +tags +TAGS +codex.tags