Skip to content

Commit

Permalink
gitignore agda2hs-mode
Browse files Browse the repository at this point in the history 
`make test` also installs agda2hs into `test` at this point
  • Loading branch information
@naucke @jespercockx
naucke authored and jespercockx committed Nov 29, 2023
1 parent ff7ad5c commit e731d27
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@ dist
dist-newstyle
test/build
test/agda2hs
test/agda2hs-mode
*~
docs/build/
test/*.hs
Expand Down

0 comments on commit e731d27

Please sign in to comment.