diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-11-15 09:05:13 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-11-15 09:05:13 +0100 |
| commit | 0134ebc3eb6d8f4d6a45adf54f8c6dbf7c4edbca (patch) | |
| tree | 5d7343d4c0903bf6da1cc24f9b7d016bdbf4736a /pretyping/typeclasses.ml | |
| parent | a5d68eacf819959dc277e2e9ef9cc4a3e712f5fe (diff) | |
| parent | 360d28670511d51c2b63692c9ce0f7ebe5f1ae3e (diff) | |
Merge PR #6122: Remove dependency of test-suite on git (fix #5725).
Diffstat (limited to 'pretyping/typeclasses.ml')
0 files changed, 0 insertions, 0 deletions