diff options
| author | Théo Zimmermann | 2018-11-29 18:00:49 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-11-29 18:00:49 +0100 |
| commit | 205fda29f5c8d338ba30a043b92c506653166a9b (patch) | |
| tree | a6f936e68cf87b9c22e5ccead80229a009f44524 /pretyping/typeclasses_errors.ml | |
| parent | 4b12cd00e1d32961a4dc04e2c2dcbfe6ed0002fa (diff) | |
[release doc] vX.X branches are now automatically protected.
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions