diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-05-10 19:20:53 +0200 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-05-10 19:20:53 +0200 |
| commit | ed813bd6035476a955dc8f1711889e7a4e62ed0d (patch) | |
| tree | eb34d09acc6d04cf2cce53ad8afe8756802c164e /lib/dune | |
| parent | f94d27e3df990d9dd7dae69191dd05e5f691b0bb (diff) | |
Avoid opening HTML at the highest level in functions.
Diffstat (limited to 'lib/dune')
0 files changed, 0 insertions, 0 deletions