diff options
author | Marius Peter <marius.peter@tutanota.com> | 2025-06-29 11:42:07 +0200 |
---|---|---|
committer | Marius Peter <marius.peter@tutanota.com> | 2025-06-29 11:42:07 +0200 |
commit | 7277ab93adcad0cd7ecc9a230dff82d1b82d1bcc (patch) | |
tree | bcdb8bd1e8b148021475d0c43094c91ea7830995 /lib/static | |
parent | 29245f86932491771b7c28ad9ac03fbc869b8390 (diff) |
Add file local variable to dune-project.
Diffstat (limited to 'lib/static')
0 files changed, 0 insertions, 0 deletions