summaryrefslogtreecommitdiff
path: root/src/dune
diff options
context:
space:
mode:
authorSon Ho2022-01-18 23:03:55 +0100
committerSon Ho2022-01-18 23:03:55 +0100
commitc0f230dc6c331e9eb120900e8c31a03e1f5ab476 (patch)
tree16ff97c6af5e85baab2e7f1af5456bd2854e057b /src/dune
parentcdef093fedaadcc5694cb9f7d63a4bf9814d5573 (diff)
Remove ty_has_regions and use ty_has_borrows instead
Diffstat (limited to 'src/dune')
0 files changed, 0 insertions, 0 deletions