diff options
| author | Hugo Herbelin | 2019-11-09 19:40:29 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-01-30 18:59:26 +0100 |
| commit | d3e97ef2b9c631ab4eccb867ea68cddc9a389939 (patch) | |
| tree | 4e7577b65b57042b88f3767e63966b90ae7fc0e0 /kernel/nativecode.mli | |
| parent | bc5e44cafa1a4040e4e4f2ad84ff6df36ab99446 (diff) | |
Refactoring code for externing applications.
Should be semantically equivalent.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions