diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-26 21:48:08 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-27 08:56:42 +0200 |
| commit | 3f9271f38f49d38a583ec99ec1ddf81a45945e73 (patch) | |
| tree | 279834ddf763e8f0af87c4731ba3f8b6e8d5810c /dune-workspace | |
| parent | ebb05a49d55297a65b3c3ba9c3178d5be52d2f82 (diff) | |
docs(portal): make comment less weird
Diffstat (limited to 'dune-workspace')
0 files changed, 0 insertions, 0 deletions