diff options
| author | Maxime Dénès | 2018-10-18 18:20:24 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-10-18 18:20:24 +0200 |
| commit | c3823156da73a63967d9d472e21560af1585b271 (patch) | |
| tree | 9e7472b79b3a52b1429ac8b82f8251f3cce702ef /kernel/type_errors.mli | |
| parent | 61925a1be7cdba6a00b8a4ca48848ccb8dd99da4 (diff) | |
| parent | 09c63ec6ec76ffbae85a07f7b5c8da692bdcb8b9 (diff) | |
Merge PR #8719: [ci] [appveyor] Disable validate target.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions