diff options
| author | Divay Prakash <divayprakash@users.noreply.github.com> | 2019-11-24 12:40:11 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-24 12:40:11 +0530 |
| commit | ee4b278dcf516a7240a07a12ac64860d1dd90349 (patch) | |
| tree | 10616a60734a9a896bfbbcca9578c36e390a1082 /coq.html.markdown | |
| parent | f0ce8b2ba2156c8f7e10f114245cc92f757fb6d1 (diff) | |
| parent | ede3cc5484efe1966c0988a5b5fe6b7514205ce9 (diff) | |
Merge pull request #3659 from Anabaac/patch-4
[css/pt-br] Typos
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions