Skip to content

fix HedgeDoc URL in PaaS workshop event#440

Merged
berendt merged 1 commit into
mainfrom
439-wrong-hedgedoc-url
Jun 9, 2026
Merged

fix HedgeDoc URL in PaaS workshop event#440
berendt merged 1 commit into
mainfrom
439-wrong-hedgedoc-url

Commits

Commits on Jun 9, 2026