diff options
| author | Hugo Herbelin | 2015-01-13 17:54:47 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-01-13 18:28:21 +0100 |
| commit | 53bd823e61ed0bac8f08d6b514be18f6c503f695 (patch) | |
| tree | f8118f9b73ea22d13b9bcb6989328b4e69be3a75 /kernel/nativelib.mli | |
| parent | 4cc324272b1f08d150417bf5333a51a39ce36336 (diff) | |
Tentatively updating credits while remaining brief.
Diffstat (limited to 'kernel/nativelib.mli')
0 files changed, 0 insertions, 0 deletions