diff options
| author | thery | 2020-02-26 17:03:31 +0100 |
|---|---|---|
| committer | thery | 2020-02-26 17:03:31 +0100 |
| commit | 4b9250db36d568dc6a112711431089f2b638c2a8 (patch) | |
| tree | 120a5365c05f8cd03ac87b74324588a6b8542b8c /kernel/nativelib.mli | |
| parent | fe1335eb350c305142bf4be57c681891515a5dac (diff) | |
| parent | d817f3b203dd7bc7ea756c829384f10ccc4e5f64 (diff) | |
Merge PR #11686: Consolidate int63-related notations
Reviewed-by: thery
Diffstat (limited to 'kernel/nativelib.mli')
0 files changed, 0 insertions, 0 deletions