diff options
| author | Hugo Herbelin | 2020-10-31 22:15:33 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2021-04-06 17:40:53 +0200 |
| commit | bf6a5e1c7b10d6ff5686cc4a3e71eb105d7a0473 (patch) | |
| tree | d5cb9b84eeb5c81097abf67eb06e0d1a8c403011 /kernel/nativecode.mli | |
| parent | 9374aeeda2a3bc64774753862eae39a8e8539bb7 (diff) | |
Missing dot in an error message.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions