diff options
| author | Son Ho | 2022-09-22 18:46:28 +0200 |
|---|---|---|
| committer | Son Ho | 2022-09-22 18:46:28 +0200 |
| commit | 0d5fb87166cc4eb4ddc783d871ad459479fc9fdc (patch) | |
| tree | f8254c9590cc63846746b9751254c9b5951248c6 /fstar/Primitives.fst | |
| parent | 4a8b4b1be044ffaa8de72cf847c00184b6b8ab40 (diff) | |
Add a `format` target in the Makefile
Diffstat (limited to 'fstar/Primitives.fst')
0 files changed, 0 insertions, 0 deletions