diff options
| author | Matej Kosik | 2017-02-02 10:04:16 +0100 |
|---|---|---|
| committer | Matej Košík | 2017-04-10 13:16:57 +0200 |
| commit | cd248e01d6834bc43d733c08b5955c332d2146a6 (patch) | |
| tree | 1fb6a18883a41e2836909f66f3e9a9aa84689bb9 /kernel/names.ml | |
| parent | 470d0d56467a3a587dc34f958ffea8259618d1ae (diff) | |
comment: typo
Diffstat (limited to 'kernel/names.ml')
0 files changed, 0 insertions, 0 deletions