summaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorpolwex <polwex@sortug.com>2025-06-27 17:50:58 +0700
committerpolwex <polwex@sortug.com>2025-06-27 17:50:58 +0700
commit06f991b48dba9f83eebf60342ff200606d4cd89d (patch)
tree8ed10ae77b7fe74dc58ce22cc1651cba05fee0d5 /dune-project
parentbb7dc3a79da576dbb438a599de97220db8364505 (diff)
YES
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions