summaryrefslogtreecommitdiff
path: root/tests/Makefile
diff options
context:
space:
mode:
authorSon Ho2023-10-26 13:52:38 +0200
committerSon Ho2023-10-26 13:52:38 +0200
commit7a65b74fb889e87a071b1cc2f0dbd355ebd3c1e5 (patch)
treeb753ab09847b89fe33634ba38038dde8789a31b9 /tests/Makefile
parentca24c351f97a3f8989a6866de0868ef54241b194 (diff)
Improve ExtractBuiltin.ml
Diffstat (limited to 'tests/Makefile')
0 files changed, 0 insertions, 0 deletions