Add HI to 1989/tromp/.gitignore
The entry creates it upon the program ending. That part of the entry does not work with modern systems but it should be excluded from the repo nonetheless.
This commit is contained in:
Cody Boone Ferguson committed
1 parent
9d63c37f49
commit
0a9e468e8d
1 file changed
+1