diff options
| author | Théo Zimmermann | 2018-06-22 09:06:57 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-06-22 09:06:57 +0200 |
| commit | ec9d8095ba74cc0549fe1eca950466742c43e74f (patch) | |
| tree | a13b827df93dc719109c0af4dfd7518fa817f480 /kernel/type_errors.ml | |
| parent | ce078ca30d79455cc2a7055f9e989f7b83a5cd56 (diff) | |
Fix copyright dates in doc/LICENSE.
[ci skip]
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions