diff options
| author | Son Ho | 2023-11-10 18:04:29 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-10 18:04:29 +0100 |
| commit | d300be95c28ff3147bb6f6a65992df5b9b571bdf (patch) | |
| tree | f29805e5426f9f3fabe12d3fdadda96a1e987880 /tests/fstar-split/misc/Makefile | |
| parent | d527795cb5c24892617bd5f7df75450e50069194 (diff) | |
Check in nix that the regenerated files don't differ from the checked out files
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions