diff options
| author | Max Schumacher <maximilianbschumacher@gmail.com> | 2021-03-21 15:22:44 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-21 15:22:44 +0100 |
| commit | 44526992794e25f7945126d5be3737a3be517b2a (patch) | |
| tree | 0f68c8bdca0adf97033e637b8828a6824f253e6a /ocaml.html.markdown | |
| parent | 67ec5133a24e84c545c920dabab1d235b53523ad (diff) | |
| parent | 835bae31efb57d5d0bcd28de962750fac4333c5a (diff) | |
Merge pull request #4141 from dbenn/patch-2
[coq/en] 8-bits => 8-bit
Diffstat (limited to 'ocaml.html.markdown')
0 files changed, 0 insertions, 0 deletions