diff options
| author | Matej Kosik | 2015-11-05 09:14:23 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:15 +0100 |
| commit | 90ae0897e80106194795e179d580da0d1118aaf2 (patch) | |
| tree | d69db61c0ed806189ec1cd8bd94b1472b883a585 /kernel/nativelib.mli | |
| parent | 1a51c868d6f342c094f2d9f0b8101d6c13720537 (diff) | |
CLEANUP PROPOSITION: s/local context of parameters/context of parameters
Diffstat (limited to 'kernel/nativelib.mli')
0 files changed, 0 insertions, 0 deletions