diff options
| author | dbenn <dbenn@computer.org> | 2021-03-13 13:44:58 +1030 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-13 13:44:58 +1030 |
| commit | 835bae31efb57d5d0bcd28de962750fac4333c5a (patch) | |
| tree | 525d92346d826a517da91dc73d12a59bdcf0884e /d.html.markdown | |
| parent | 5d2d1cf77c8f4e06c08da4657b152a2b2b06504f (diff) | |
[coq/en] 8-bits => 8-bit
change 8-bits in comment to singular
Diffstat (limited to 'd.html.markdown')
0 files changed, 0 insertions, 0 deletions