this repo has no description
1
fork

Configure Feed

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

at main 21 lines 860 B view raw
1<!DOCTYPE html> 2<html xmlns="http://www.w3.org/1999/xhtml"> 3 <head><title>c1 (Toplevel_comments.c1)</title><meta charset="utf-8"/> 4 <link rel="stylesheet" href="odoc.css"/> 5 <meta name="generator" content="odoc %%VERSION%%"/> 6 <meta name="viewport" content="width=device-width,initial-scale=1.0"/> 7 <script src="highlight.pack.js"></script> 8 <script>hljs.initHighlightingOnLoad();</script> 9 </head> 10 <body class="odoc"> 11 <nav class="odoc-nav"><a href="Toplevel_comments.html">Up</a>12 <a href="index.html">Index</a> &#x00BB; 13 <a href="Toplevel_comments.html">Toplevel_comments</a> &#x00BB; c1 14 </nav> 15 <header class="odoc-preamble"> 16 <h1>Class <code><span>Toplevel_comments.c1</span></code></h1> 17 <p>Doc of <code>c1</code>, part 1.</p> 18 <p>Doc of <code>c1</code>, part 2.</p> 19 </header><div class="odoc-content"></div> 20 </body> 21</html>