aboutsummaryrefslogtreecommitdiff
path: root/lib/dune
AgeCommit message (Collapse)Author
2023-09-29Added a way to discard the content until the end of the location — recover ↵Chimrod
after an error
2023-09-29Switched to sedlex instead of ocamllexChimrod
2023-09-25Name clash correctionChimrod
2023-09-22first commitChimrod