Skip to content
GitLab
Explore
Sign in
Register
Chris
gitignore
Commits
38c1cfcd
Commit
38c1cfcd
authored
Nov 25, 2019
by
Jason Gross
Committed by
Brendan Forster
Nov 25, 2019
Browse files
Update Coq.gitignore after coq/coq#11075 (#3247)
Add .vok files from
https://github.com/coq/coq/pull/11075
parent
db0ef78b
Changes
1
Hide whitespace changes
Inline
Side-by-side
Preview
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment