diff options
| author | Théo Zimmermann | 2017-11-10 10:58:17 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2017-11-10 10:58:17 +0100 |
| commit | d8a02ea460d65f4714ccf4c9f042d373ad6bced8 (patch) | |
| tree | 59d93f805da9c8c129d5bfc92fe577fbb780609b /kernel/type_errors.ml | |
| parent | d9f79d97dbc503e149cba2df1b228a94d7ac970b (diff) | |
Update and simplify README.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions