diff options
| author | Marcel Ribeiro-Dantas <marcel.ribeiro-dantas@curie.fr> | 2022-07-16 16:51:21 +0200 |
|---|---|---|
| committer | Marcel Ribeiro-Dantas <mribeirodantas@hey.com> | 2022-07-16 16:51:36 +0200 |
| commit | ca8bc258d9bfbb567a2332fa6b9d7d9d0309cf76 (patch) | |
| tree | 8fb076b2277ff79e9c67ef6d5d16e70b969fcf0d /coq.html.markdown | |
| parent | 683a721e4c53b2dca17fb803d39c2b79cc870ca8 (diff) | |
Update most of the git-pt document
Update the pt-br version of the git document to be closer to the
original version in English.
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions