diff options
| author | Antonio Roberto Furlaneto <arfurlaneto@gmail.com> | 2019-10-01 12:27:25 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-01 12:27:25 -0300 |
| commit | 989809bb8fe12a5d481b58a52289a95adad377e6 (patch) | |
| tree | 65dd29164b3d20ad0a933edad3b2e269d5cd6835 /coq.html.markdown | |
| parent | dff76c7965af30e7c7a752513a9ab93a15eb58bc (diff) | |
[latex/pt-br] Grammar error
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions