Add liquidhaskell files to .gitignore

This commit is contained in:
Julian Ospald 2015-12-27 16:25:45 +01:00
parent 5afc25d2d1
commit c454fb0b9e
No known key found for this signature in database
GPG Key ID: 220CD1C5BDEED020
1 changed files with 1 additions and 0 deletions

1
.gitignore vendored
View File

@ -5,3 +5,4 @@ cabal.sandbox.config
*.hp
*.prof
*.old
.liquid/