Skip to content
Snippets Groups Projects
Commit d51bf7bd authored by M Farkas-Dyck's avatar M Farkas-Dyck Committed by Marge Bot
Browse files

git: ignore HIE files. 

Cleans up git status if one sets -fwrite-ide-info in hadrian/ghci.
parent 24f4f54f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 0 deletions
.gitignore
+ 2
− 0
View file @ d51bf7bd
......@@ -17,6 +17,8 @@ Thumbs.db
*.hi
*.hi-boot
*.hie
*.hie-boot
*.o-boot
*.p_o
*.t_o
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment