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 /it-it | |
| parent | 672cac8fae85f7dc4b34e801acc15d2fd262616c (diff) | |
| parent | 23bb5f6f6976d082d1ce4691851c6f4020643e2c (diff) | |
Merge pull request #4715 from verhovsky/ocaml
[ocaml/en] Proofread
Diffstat (limited to 'it-it')
0 files changed, 0 insertions, 0 deletions