diff options
| author | Hugo Herbelin | 2020-01-20 08:45:51 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-01-21 00:20:49 +0100 |
| commit | 61afb01b721d12068ade37f5c809319668e3573e (patch) | |
| tree | ccde82e7539a31d9f8f4af031b188914b5f59f6f /kernel/nativelib.ml | |
| parent | 9d88395fd25031445d463648e81c600df179cbc6 (diff) | |
Translating a comment from French to English.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions