diff options
| author | Jason Gross <jasongross9@gmail.com> | 2019-11-25 15:45:55 -0500 |
|---|---|---|
| committer | Brendan Forster <brendan@github.com> | 2019-11-25 16:45:55 -0400 |
| commit | 38c1cfcdbcf244ea67f32435c2c6e9f752223187 (patch) | |
| tree | 605b12c06da0671d65d02593c15676f90353a1d6 | |
| parent | db0ef78b5ad1d3caf4cab3240467562360885613 (diff) | |
| download | gitignore-38c1cfcdbcf244ea67f32435c2c6e9f752223187.tar.gz gitignore-38c1cfcdbcf244ea67f32435c2c6e9f752223187.zip | |
Update Coq.gitignore after coq/coq#11075 (#3247)
Add .vok files from https://github.com/coq/coq/pull/11075
| -rw-r--r-- | Coq.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Coq.gitignore b/Coq.gitignore index 14d9ca6b..a3e2ac49 100644 --- a/Coq.gitignore +++ b/Coq.gitignore @@ -18,6 +18,7 @@ *.v.d *.vio *.vo +*.vok *.vos .coq-native/ .csdp.cache |