aboutsummaryrefslogtreecommitdiff
path: root/lib/dune
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-09 22:51:26 +0200
committerClombrong <cromblong@egregore.fun>2025-06-09 22:51:26 +0200
commitb1a727496905a8e07dc725d4bb0c104f3c77f93e (patch)
treedf0707f24f48532a4bbb6b1677cb7f3c5426eb09 /lib/dune
parentac2cb6ebcb18c9d1236c271d62c73ad2265ba9da (diff)
chore(dune): add ppx_deriving dependency
Diffstat (limited to 'lib/dune')
0 files changed, 0 insertions, 0 deletions