summaryrefslogtreecommitdiff
path: root/tests/coq/misc/Makefile
diff options
context:
space:
mode:
authorGuillaume Boisseau2024-05-14 17:46:38 +0200
committerGitHub2024-05-14 17:46:38 +0200
commitcbf425d178f9063507585233ebee7ca785567e3a (patch)
tree79151f8118306e89da79e8202e2b9fc76d143400 /tests/coq/misc/Makefile
parentd7390c53fba81768bfa08645e18dff4f613d7aa4 (diff)
parent89f82c504b377f92541b2313256adf525d7b20da (diff)
Merge pull request #172 from AeneasVerif/string-literals
Diffstat (limited to 'tests/coq/misc/Makefile')
0 files changed, 0 insertions, 0 deletions