aboutsummaryrefslogtreecommitdiff
path: root/portal.opam
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-29 21:06:26 +0200
committerClombrong <cromblong@egregore.fun>2025-06-29 21:06:26 +0200
commit20f32bd13a8f79e123dd31d79fc119e99eb4334f (patch)
tree400a94ae06b00ca9da054f715717b7555d8a4520 /portal.opam
parenta70e59463f743830f64f743f8b6c081794b4eaaf (diff)
style(starttls): rename prefer_starttls to prefer
Diffstat (limited to 'portal.opam')
0 files changed, 0 insertions, 0 deletions