diff options
| author | Son Ho | 2024-04-04 11:00:23 +0200 |
|---|---|---|
| committer | Son Ho | 2024-04-04 11:00:23 +0200 |
| commit | f58161f23ccb4bff2080a7c63105d80777c33362 (patch) | |
| tree | 9cfb108c57285b0a254b71fc49f7e8d8cc5cb0b9 /backends/fstar/Makefile | |
| parent | eae7ce912c8bae44f98e1d489aba5618c0029bd2 (diff) | |
Update a comment
Diffstat (limited to 'backends/fstar/Makefile')
0 files changed, 0 insertions, 0 deletions