diff options
| author | Pierre-Marie Pédrot | 2016-06-14 01:17:04 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-06-14 01:18:39 +0200 |
| commit | 89b3335755910b659d6449d343bed69fae1d609e (patch) | |
| tree | f3852255ed8e27cd2d60040d1420d68b5034370d /kernel/nativecode.mli | |
| parent | 030759d5799a255c31b3a114f00331f422ac26a3 (diff) | |
Better coding style (semantics).
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions