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 /fstar | |
| parent | 533ecfd11747ed7b65d5df5b48eee09e05dbcbcf (diff) | |
Update the README (#3)
* Update the README
* Fix a typo
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions