summaryrefslogtreecommitdiff
path: root/lib/static
diff options
context:
space:
mode:
authorMarius Peter <marius.peter@tutanota.com>2025-06-29 11:42:07 +0200
committerMarius Peter <marius.peter@tutanota.com>2025-06-29 11:42:07 +0200
commit7277ab93adcad0cd7ecc9a230dff82d1b82d1bcc (patch)
treebcdb8bd1e8b148021475d0c43094c91ea7830995 /lib/static
parent29245f86932491771b7c28ad9ac03fbc869b8390 (diff)
Add file local variable to dune-project.
Diffstat (limited to 'lib/static')
0 files changed, 0 insertions, 0 deletions
Copyright 2019--2025 Marius PETER