diff options
| author | Son Ho | 2023-11-09 18:51:43 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-09 18:51:43 +0100 |
| commit | cc61ce2217339f24a8cc8951ee15abc5fd90b47b (patch) | |
| tree | ea2f8024e7bb079beae6e14a9a2f20455a45afd0 /tests/fstar/Makefile.template | |
| parent | eb216298bcc9190fab85434aaf54a3de3fb4d6a4 (diff) | |
Update the rule build-bin-dir in the Makefile
Diffstat (limited to 'tests/fstar/Makefile.template')
0 files changed, 0 insertions, 0 deletions