diff --git a/.gitignore b/.gitignore index ca407e6..d83fa8f 100644 --- a/.gitignore +++ b/.gitignore @@ -24,3 +24,4 @@ TAGS codex.tags .vim hie.yaml +.hie