summaryrefslogtreecommitdiffhomepage
path: root/coq.html.markdown
diff options
context:
space:
mode:
authorAndre Polykanine <ap@oire.me>2021-02-06 11:40:56 +0100
committerGitHub <noreply@github.com>2021-02-06 11:40:56 +0100
commit110511a10110f96b20f107c078f7d5ef4c01b109 (patch)
tree89213fd6afbf9cc9303c1c2fa08dafc840a9d99d /coq.html.markdown
parent5db57517d69198e076f04de0f4a682519fb6922b (diff)
parent2ff50ccd2c76ec8abda9e3bfc892c2a5cf64fe14 (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