summaryrefslogtreecommitdiff
path: root/tests/fstar/Makefile.template
diff options
context:
space:
mode:
authorSon Ho2023-02-01 00:13:16 +0100
committerSon HO2023-06-04 21:54:38 +0200
commit26309503ab0d7710f03333d7762e484be94767e0 (patch)
tree573be1ce11529c620f7598c74238e3aa52a46aeb /tests/fstar/Makefile.template
parent49903e84b1193565baa04a25864d6e54fed6f1de (diff)
Make minor modifications
Diffstat (limited to 'tests/fstar/Makefile.template')
0 files changed, 0 insertions, 0 deletions