aboutsummaryrefslogtreecommitdiff
path: root/portal-websockets.opam
diff options
context:
space:
mode:
authorClombrong <clombrong@egregore.fun>2025-05-29 21:24:52 +0200
committerClombrong <cromblong@egregore.fun>2025-05-29 21:24:52 +0200
commit94172590a6a64bf7c33c4cdff90660da7562c433 (patch)
treea520638c0a67fe1f9340bb1cc860d0584f2ea1c3 /portal-websockets.opam
parent3b05a4bd677acf35d74a9a56c635c213282ba5fc (diff)
feat(opam): add tags and remove useless dependency on flesh
Diffstat (limited to 'portal-websockets.opam')
0 files changed, 0 insertions, 0 deletions