diff options
author | Son HO | 2022-10-04 15:56:13 +0200 |
---|---|---|
committer | GitHub | 2022-10-04 15:56:13 +0200 |
commit | 53a2b8a2989485e8885d02c786206de84c9fd91d (patch) | |
tree | 8a639a5cf4db7dc402b9e1f67ca5201ce828323d /src/TranslateCore.ml | |
parent | 533ecfd11747ed7b65d5df5b48eee09e05dbcbcf (diff) |
Update the README (#3)
* Update the README
* Fix a typo
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions