diff options
author | Marcel Ribeiro-Dantas <ribeirodantasdm@gmail.com> | 2023-07-22 00:30:43 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-22 00:30:43 -0300 |
commit | c1bfdb975e010182a79be66a6ca0f855fe3ea3b2 (patch) | |
tree | 2cc191fa3f82afa555a3ec591fef7c343eff00af /de-de/paren-de.html.markdown | |
parent | 672cac8fae85f7dc4b34e801acc15d2fd262616c (diff) | |
parent | 23bb5f6f6976d082d1ce4691851c6f4020643e2c (diff) |
Merge pull request #4715 from verhovsky/ocaml
[ocaml/en] Proofread
Diffstat (limited to 'de-de/paren-de.html.markdown')
0 files changed, 0 insertions, 0 deletions