summaryrefslogtreecommitdiff
path: root/tests/fstar/traits/Makefile
diff options
context:
space:
mode:
authorSon Ho2024-06-17 20:06:19 +0200
committerSon Ho2024-06-17 20:06:19 +0200
commit8eacc8bc308ba6b703d46137262de37a69f2ecab (patch)
treece53ff8b99b8acbe4c3639b6fdc5f86e439bd7d7 /tests/fstar/traits/Makefile
parent85098d7caf5e3196c2e8f92411efd2814bfed1ea (diff)
Update the Charon pin
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions