Skip to content
This repository has been archived by the owner on Nov 17, 2020. It is now read-only.

Commit

Permalink
Update .gitignore
Browse files Browse the repository at this point in the history
  • Loading branch information
@sweirich
sweirich authored Feb 4, 2020
1 parent ad88e9b commit 0561cb4
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -43,3 +43,7 @@ ghc-8.0.2
ghc-8.4.1
ghc-head
/result

*.crashcoqide
*.DS_Store

0 comments on commit 0561cb4

Please sign in to comment.