diff options
| author | Jason Gross | 2020-03-25 11:51:27 -0400 |
|---|---|---|
| committer | Jason Gross | 2020-03-25 11:56:34 -0400 |
| commit | 568a48aa8c90b504029cc95480d81b5bd17b63ef (patch) | |
| tree | b466be1eb97889b17e3edbd643700f5b231e80e9 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 6a84a302a54ffb9ae687f870c797e161a08280be (diff) | |
Make the level of ≡ in Int63 consistent with =
Fixes #11905
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions