diff options
| author | Théo Zimmermann | 2018-04-08 20:19:18 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-04-08 20:46:10 +0200 |
| commit | ff223fac386ab4d0e622d1dc03d47cff34db3311 (patch) | |
| tree | 666b974024c58f7384ccdef9bf8c689fe16756da /kernel/type_errors.ml | |
| parent | e332bf0d9685679f4c5415bec7681fd948921fb5 (diff) | |
Document requirement to have git >= 2.7 to use the merge script.
As reported in https://github.com/coq/coq/issues/7097#issuecomment-378632415
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions