diff options
| author | tomas-hartman <44980733+tomas-hartman@users.noreply.github.com> | 2021-11-17 00:56:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-17 00:56:42 +0100 |
| commit | b9e9f9bcbd9209a735bb08081c98dfbcf7edc32a (patch) | |
| tree | 49cebcca6a6f724246fe070bc0c89512ceee9b5a /coq.html.markdown | |
| parent | e6f3c19425a4f7280323c8815073f9a489b83652 (diff) | |
[markdown/cs-cz] Improve translation language style and add subchapter on table of contents (#4271)
* refactor: improve stylistic quality of the translation and add minor chapters
* fix: limit to 80 chars per line
* fix (lang): fix some typos
Co-authored-by: Tomas Hartman <tomash@xcroco.com>
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions