diff options
| author | Maxime Dénès | 2020-02-25 10:27:03 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2020-02-25 10:27:03 +0100 |
| commit | 1bc8cd6390a3208659d563b1363f9bc0d87643a0 (patch) | |
| tree | c34231a90befeae3e30524312b564484d378c06c /kernel/nativelib.ml | |
| parent | ff3755c88f813f1a0e40e08128521cce81e38273 (diff) | |
| parent | 0bd1afb3c87b6fa08c036b97d662a29138683f6e (diff) | |
Merge PR #11432: More portable C flags
Reviewed-by: ejgallego
Reviewed-by: silene
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions