Testing of the @doc-json output
0
fork

Configure Feed

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

Minor updates

+4 -1
+4 -1
doc/index.mld
··· 1 - {0 odoc documentation site shell} 1 + {0 Odoc Documentation-site Shell} 2 + 3 + This plugin for odoc provides a more modern styling for odoc's output, including 4 + SPA-style navigation.