diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-29 20:51:10 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-29 20:51:10 +0200 |
| commit | c090fa105c47a01a0dc1123174f6deaa5dc5ff29 (patch) | |
| tree | 73bb6f8d4dd80c0ff173a97b62eed81e79cd65ec /flesh.opam | |
| parent | 0182a2e8b2f48032f8783215ad62349674e2bdb7 (diff) | |
docs(portal): remove useless bit of doc
Diffstat (limited to 'flesh.opam')
0 files changed, 0 insertions, 0 deletions