diff options
| author | Divay Prakash <divayprakash@users.noreply.github.com> | 2020-04-16 14:42:07 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-16 14:42:07 +0530 |
| commit | ecca2c38376bb6ac63c148347d6b371ed85bc1b7 (patch) | |
| tree | b0558e8eeeb2fd1588b285e412ddfa5808895cf9 /coq.html.markdown | |
| parent | 2f81283970ca1f613c81a133908564b4f3e2a413 (diff) | |
| parent | 7a782b47fe01c41de047bae3861845b64c867203 (diff) | |
Merge pull request #3905 from caminsha/en/crystal_smalltypos
[crystal/en] Fixed typo and reference url
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions