diff options
| author | Andre Polykanine <ap@oire.me> | 2021-02-06 11:40:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-06 11:40:56 +0100 |
| commit | 110511a10110f96b20f107c078f7d5ef4c01b109 (patch) | |
| tree | 89213fd6afbf9cc9303c1c2fa08dafc840a9d99d /coq.html.markdown | |
| parent | 5db57517d69198e076f04de0f4a682519fb6922b (diff) | |
| parent | 2ff50ccd2c76ec8abda9e3bfc892c2a5cf64fe14 (diff) | |
Merge pull request #4104 from tentacleuno/patch-1
[kotlin/en] Typo in comment
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions