diff options
| author | coqbot-app[bot] | 2020-11-09 08:07:27 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-09 08:07:27 +0000 |
| commit | fcc82eaf6054cce65821fafafedd329dab732994 (patch) | |
| tree | 913128da2f68d34d5987010534c630a2dd233ea3 /kernel/safe_typing.ml | |
| parent | 6cebd412748b82c4c9bbef295503ed1954981b45 (diff) | |
| parent | db413d523cfe086cfe768232e465fee8fb51e17c (diff) | |
Merge PR #13173: Lint stdlib with -mangle-names #4
Reviewed-by: anton-trunov
Diffstat (limited to 'kernel/safe_typing.ml')
0 files changed, 0 insertions, 0 deletions