Odoc plugins for jon.recoil.org
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge branch 'cmstatefield' (revert search)

+2
+2
doc/index.mld
··· 1 1 {0 odoc-jons-plugins} 2 2 3 + @admonition.warning This plugin was vibe-coded with AI assistance and has not been thoroughly reviewed or tested. Use at your own risk and expect breaking changes. 4 + 3 5 Custom odoc shell and extensions for {{:https://jon.recoil.org}jon.recoil.org}. 4 6 5 7 This plugin provides the HTML shell used to render the site, including