diff options
| author | Anton Trunov | 2020-05-12 18:29:28 +0300 |
|---|---|---|
| committer | Anton Trunov | 2020-05-12 18:29:28 +0300 |
| commit | 5784bb98aaa3e4eab4cd3e9871afb4b40d82f62c (patch) | |
| tree | bbe30c8c8aaffbd387e886bae4c017db9c525b90 /interp | |
| parent | efb78e3c413bcc66d470ba4046c56bae0a61f56f (diff) | |
| parent | 1019cb48c80260d7df27096826e8594ec242dc5a (diff) | |
Merge PR #12162: Fixing #12161: rename Bool.leb into Bool.le
Ack-by: Zimmi48
Reviewed-by: anton-trunov
Diffstat (limited to 'interp')
0 files changed, 0 insertions, 0 deletions