summaryrefslogtreecommitdiff
path: root/tests/coq/_CoqProject.template
diff options
context:
space:
mode:
authorSon HO2024-05-29 00:17:53 +0200
committerGitHub2024-05-29 00:17:53 +0200
commit7a8dffc0bb0888b40c9be4e6a69a98bcffca883f (patch)
tree7fc94f32e32674892154e7e72c2d589470c17f9a /tests/coq/_CoqProject.template
parentb5eac0384818e1f51fbfd900ab580514e851b0ca (diff)
parent95cb0eee7f9af0a0fd0d24a2531b5395b98b861f (diff)
Merge branch 'main' into son/collisions
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions