diff options
| author | coqbot-app[bot] | 2020-11-27 12:43:59 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-27 12:43:59 +0000 |
| commit | 79d088f5b99855e7f109391a67fe79d0e654da36 (patch) | |
| tree | 874897d8623ed2f413befd45c96fbf940a1581b0 /kernel | |
| parent | 4ca9cb8dc318bbc42ba791b483334bb12dacdfaf (diff) | |
| parent | 36664ba0ac77968037687634af0cd5a808335cfc (diff) | |
Merge PR #13473: Testing {in _, _} and {pred _} from ssrbool
Reviewed-by: gares
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions