summaryrefslogtreecommitdiff
path: root/test/dune
diff options
context:
space:
mode:
authorMarius Peter <marius.peter@tutanota.com>2025-01-25 19:13:31 +0100
committerMarius Peter <marius.peter@tutanota.com>2025-01-25 19:13:31 +0100
commit7b6d34b3e73a5a5fb9593a8e33de36d6fdd54bda (patch)
tree22c315c66b8c3461918d250f9b6ab8331afcb3f7 /test/dune
parentdc2aec71a82ebe9c8432a9867579bba6f1d87990 (diff)
Update dune-project stanzas.
Diffstat (limited to 'test/dune')
0 files changed, 0 insertions, 0 deletions
Copyright 2019--2025 Marius PETER