diff options
| author | Théo Zimmermann | 2018-01-02 16:00:29 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-02-21 17:25:17 +0100 |
| commit | f28813cfe8cac0193553aa1d009c76b3d26e743e (patch) | |
| tree | 449ee6bec5ff7782256d1c64da1712d71a24efca /kernel/nativecode.ml | |
| parent | 7face8b53832621b733f900a4a92395c5ba97d34 (diff) | |
Mention the CREDITS file in CONTRIBUTING.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions