diff options
| author | Divay Prakash <divayprakash@users.noreply.github.com> | 2019-11-24 11:52:34 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-24 11:52:34 +0530 |
| commit | 3ebbd176e1f3b16d7004505fdb330219c196a728 (patch) | |
| tree | 770e710078a4a03de06a36bddbdb8925e6cf64c3 /coq.html.markdown | |
| parent | 320327fd5af8d098d0154e59cb682266ebe2bd41 (diff) | |
| parent | 0e5203510bcd6500d707e0a03f30cb9f90b93cac (diff) | |
Merge pull request #3643 from ferfedel/patch-10
[css/pt-br] Translation adjustments
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions