diff options
author | Son Ho | 2023-11-27 14:15:01 +0100 |
---|---|---|
committer | Son Ho | 2023-11-27 14:15:01 +0100 |
commit | a17eef1053909117d75c9ea8eeaad786626cc05d (patch) | |
tree | 4de215bcf14c54eb653095c7ac398b0be10f87de /tests/fstar/.gitignore | |
parent | fdb8555cf6bc21ea230141373920196b078bdd28 (diff) |
Update the way the Primitives file is copied
Diffstat (limited to 'tests/fstar/.gitignore')
0 files changed, 0 insertions, 0 deletions