diff options
| author | Son Ho | 2022-01-26 18:34:26 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-26 18:34:26 +0100 |
| commit | 2e2db34bddc0a57e837b22a40173401045d91d5c (patch) | |
| tree | 072d60f5f15937e0be24ff8ccbd878bdfcd05048 /src/InterpreterPaths.ml | |
| parent | 781829ec8d4d825e550f36f853eed2c97ddb7a04 (diff) | |
Make progress on translation
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions