diff options
| author | Son Ho | 2022-02-09 11:54:31 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-09 11:54:31 +0100 |
| commit | 08d19e5b988a89e993ee06a99a207e3720bcc30c (patch) | |
| tree | 5a5b3a829779dd8277b2751794994e7acc928ff7 /fstar | |
| parent | 50f698532ae5e190dd67487c93e5deb2b5158322 (diff) | |
Introduce a translation config in Translate.ml
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions