summaryrefslogtreecommitdiff
path: root/compiler/dune
diff options
context:
space:
mode:
authorSon Ho2024-04-07 14:27:14 +0200
committerSon Ho2024-04-07 14:27:14 +0200
commit581d5c0cb8e618382fa41e5a42175560283ff0a1 (patch)
tree1dd0066fe740febc6a36182e73248b4d616cb57e /compiler/dune
parent3a470ec6661a494631a12594989126804aeb044d (diff)
Cleanup a bit and improve the error messages
Diffstat (limited to 'compiler/dune')
0 files changed, 0 insertions, 0 deletions