aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2025-03-17 09:11:25 +0100
committerSébastien Dailly <sebastien@dailly.me>2025-03-17 18:59:32 +0100
commit8b8b730d3ba98d6c9e4e6274844641043b5fefbb (patch)
tree4cb60dafa05b479d0ca287d501a51db88cecaaa4 /dune-project
parent7bfbb67d83011f3e1845dcb9e44c3b6a5e93a9da (diff)
Moved the syntax module in its own library
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions