diff options
| author | Anton Trunov | 2020-05-06 22:28:47 +0300 |
|---|---|---|
| committer | Anton Trunov | 2020-05-06 22:28:47 +0300 |
| commit | 2dd59422a4f2ba1d6e75e710b88129751379aa79 (patch) | |
| tree | f549db6184ed515747997532be67125da1625bc9 /dev/ci/docker/bionic_coq/Dockerfile | |
| parent | ed0803efd1c8418c54dcde1255db110e1f2e648d (diff) | |
| parent | f0aaf94f61f996808c29e37c827fc5d85761bddb (diff) | |
Merge PR #12008: [stdlib] Add order properties about bool
Reviewed-by: anton-trunov
Reviewed-by: herbelin
Diffstat (limited to 'dev/ci/docker/bionic_coq/Dockerfile')
0 files changed, 0 insertions, 0 deletions