diff options
| author | Théo Zimmermann | 2019-01-13 15:47:27 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-01-13 16:11:48 +0100 |
| commit | 01e652693c352fdf157106bc92a16c8e8667898e (patch) | |
| tree | 279fc0fc69c6b8ce20792c231337f1bd13d71500 /kernel/type_errors.ml | |
| parent | ac8c25a9fac51745f0b53162fba48ef5b86d227d (diff) | |
Refactor badges in README.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions