diff options
| author | caminsha <c.96marco@hotmail.com> | 2020-02-01 01:00:55 +0100 |
|---|---|---|
| committer | caminsha <c.96marco@hotmail.com> | 2020-02-01 01:00:55 +0100 |
| commit | 0996b5a20ed351046ad9e67f01d1593ffe769a34 (patch) | |
| tree | a74130ef432e94416affdc8d122e04b980565663 /coq.html.markdown | |
| parent | edeb77b89394e913054d74af178da7bdab429158 (diff) | |
Fixed some small typos in german translation
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions