summaryrefslogtreecommitdiff
path: root/compiler/dune-project
diff options
context:
space:
mode:
authorSon Ho2024-06-05 17:51:24 +0200
committerSon Ho2024-06-05 17:51:24 +0200
commite6d04cf1a73533ae80a68d9ef5f34a9e832e77a3 (patch)
treec86de4d3100dc4b61850a62c407fa71fc67b6d46 /compiler/dune-project
parentbf3f474ed65fd6ad7a7ca3d5851c990231a857e7 (diff)
Fix a minor issue
Diffstat (limited to 'compiler/dune-project')
0 files changed, 0 insertions, 0 deletions