ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-15 01:25:05 +03:00
Code Issues Projects Releases Wiki Activity

Add hsenv directory to gitignore

Browse Source
This commit is contained in:
Edward Amsden 2014-11-10 18:19:25 -05:00
parent efd6f8a8fd
commit c99cec4349
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -2,6 +2,7 @@ dist
cabal-dev/
.cabal-sandbox
cabal.sandbox.config
.hsenv
*.ibc
*.o
*.a