Skip to content

Commit

Permalink
Update pp doc to 2.0.0.
Browse files Browse the repository at this point in the history
  • Loading branch information
mbarbin committed Sep 16, 2024
1 parent 751f293 commit 4d242e1
Show file tree
Hide file tree
Showing 21 changed files with 3,986 additions and 154 deletions.
2 changes: 1 addition & 1 deletion index.html
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@
<div class="by-name">
<h2>OCaml package documentation</h2>
<ol>
<li><a href="pp/index.html">pp</a> <span class="version">1.2.0</span></li>
<li><a href="pp/index.html">pp</a> <span class="version">2.0.0</span></li>
</ol>
</div>
</main>
Expand Down
Binary file added odoc.support/fonts/fira-mono-v14-latin-500.woff2
Binary file not shown.
Binary file not shown.
Binary file added odoc.support/fonts/fira-sans-v17-latin-500.woff2
Binary file not shown.
Binary file not shown.
Binary file added odoc.support/fonts/fira-sans-v17-latin-700.woff2
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
373 changes: 273 additions & 100 deletions odoc.support/highlight.pack.js

Large diffs are not rendered by default.

Loading

0 comments on commit 4d242e1

Please sign in to comment.