Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
.gitignore
Find file
Blame
History
Permalink
Add .crashcoqide to .gitignore.
· 763bfe4f
Robbert Krebbers
authored
Nov 26, 2016
763bfe4f