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