aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-02 16:54:23 +0200
committerClombrong <cromblong@egregore.fun>2025-06-02 16:54:23 +0200
commita55848c1bf6d79a83dbfbf91ec1faa0953e27780 (patch)
treed87e38a19daea76647903f0d3a14529024520fb5 /dune-project
parentb1578880379503acd419d70855b36869f1e812a0 (diff)
chore(dir-locals): fix whitespace
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions