diff options
| author | Pierre-Marie Pédrot | 2019-12-08 12:45:39 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-12-10 10:53:53 +0100 |
| commit | 504b1b71ed56431c978b9bbf46c4d67f155fddf2 (patch) | |
| tree | 1f09da98c5110a2f2506c0cee4e6cc6ab4ea0c6a /kernel/nativecode.mli | |
| parent | 0ad6e13fc3065c6ff1eefa87c8a709fdf5602b0a (diff) | |
Simplify internal flags in scheme declarations.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions