jon.recoil.org / odoc-jons-plugins
Odoc plugins for jon.recoil.org
0
fork

Configure Feed

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

Site updates

Jon Ludlam's Agent c6ac4ce8 698e0520

+9
+2
doc/dune
··· 1 + (documentation 2 + (package odoc-jons-plugins))
+7
doc/index.mld
··· 1 + {0 odoc-jons-plugins} 2 + 3 + Custom odoc shell and extensions for {{:https://jon.recoil.org}jon.recoil.org}. 4 + 5 + This plugin provides the HTML shell used to render the site, including 6 + custom CSS theming, JavaScript for interactive features, and integration 7 + with odoc's extension API.