summaryrefslogtreecommitdiff
path: root/src/dune
diff options
context:
space:
mode:
authorSon Ho2022-09-22 17:27:24 +0200
committerSon Ho2022-09-22 17:27:24 +0200
commite18bf82b0931a7fd8a357a8516ef8618d77d42cf (patch)
tree51002290953b53ce4aa974babe23c588321311ef /src/dune
parent798876feed0e06923f4066a8d04b87081fef72e0 (diff)
Regenerate the translated files
Diffstat (limited to 'src/dune')
0 files changed, 0 insertions, 0 deletions