aboutsummaryrefslogtreecommitdiff
path: root/lib/elements/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-04-08 20:28:03 +0200
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:01:12 +0100
commit298ddbaaf440e7bfa3cec27956c482ea44bea173 (patch)
tree7fc0a44b5ff6961883acdfc71f45cfe1cbe0a355 /lib/elements/dune
parentd912828b3300625c0f628b0a790354a6f83051e4 (diff)
Added missing deps
Diffstat (limited to 'lib/elements/dune')
0 files changed, 0 insertions, 0 deletions