diff options
| author | coqbot-app[bot] | 2021-03-19 07:49:21 +0000 |
|---|---|---|
| committer | GitHub | 2021-03-19 07:49:21 +0000 |
| commit | be64fe07ec2bcf5177bb227813d8f896ef00c265 (patch) | |
| tree | 8aaa4bf16e7bb462f50e89354692df7c9f11adda /kernel/vmlambda.ml | |
| parent | eeef63b0b09cf90f7a3022ce6f0d7e50a908484c (diff) | |
| parent | 06c816527a26a9e9e09601b67c128b381c4bd2af (diff) | |
Merge PR #13730: Lint stdlib with -mangle-names #6
Reviewed-by: anton-trunov
Diffstat (limited to 'kernel/vmlambda.ml')
0 files changed, 0 insertions, 0 deletions