diff options
| author | coqbot-app[bot] | 2021-04-18 14:16:52 +0000 |
|---|---|---|
| committer | GitHub | 2021-04-18 14:16:52 +0000 |
| commit | 9fe4108289f584461b5dc7af08095d6279a222af (patch) | |
| tree | 836097080c51b0529c23287890c29cafb2542571 /kernel/nativelib.ml | |
| parent | f67f789aa967fc4061861177cc2827ba9b2d2510 (diff) | |
| parent | ed4a399cd7d7738c920aafabff749c742ef1ebc8 (diff) | |
Merge PR #14122: Remove macOS dmg build.
Reviewed-by: ejgallego
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions