diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-05-27 23:25:39 +0200 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-05-27 23:25:39 +0200 |
| commit | e85fa4da3ace9a8f77adddf28609fa943273e641 (patch) | |
| tree | 814c5f60a331404d408ef74deb57033bb3e655b3 /dune-project | |
| parent | b05013516d858af43f3429683e52adfc4447e896 (diff) | |
Search configuration file in alternative directories.
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions