about summary refs log tree commit diff stats
path: root/html/075channel.mu.html
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2017-03-02 05:50:19 -0800
committerKartik K. Agaram <vc@akkartik.com>2017-03-02 05:50:19 -0800
commite520e7989c207da66130b951d6268d11911b4fcc (patch)
tree61a6890b232e63370d40b06abab8a73be52723db /html/075channel.mu.html
parentfd7d8138a4ff5515f9b79c584a98d5c26d8ddb8a (diff)
downloadmu-e520e7989c207da66130b951d6268d11911b4fcc.tar.gz
3751
Some hacky manual fixes to auto-generated html.
Diffstat (limited to 'html/075channel.mu.html')
-rw-r--r--html/075channel.mu.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/html/075channel.mu.html b/html/075channel.mu.html
index cf0470d3..5c486beb 100644
--- a/html/075channel.mu.html
+++ b/html/075channel.mu.html
@@ -419,7 +419,7 @@ if ('onhashchange' in window) {
 <span id="L357" class="LineNr">357 </span>]
 <span id="L358" class="LineNr">358 </span>
 <span id="L359" class="LineNr">359 </span><span class="Comment"># A full channel has first-empty just before first-full, wasting one slot.</span>
-<span id="L360" class="LineNr">360 </span><span class="Comment"># (Other alternatives: <a href="https://en.wikipedia.org/wiki/Circular_buffer#Full_.2F_Empty_Buffer_Distinction)">https://en.wikipedia.org/wiki/Circular_buffer#Full_.2F_Empty_Buffer_Distinction)</a></span>
+<span id="L360" class="LineNr">360 </span><span class="Comment"># (Other alternatives: <a href="https://en.wikipedia.org/wiki/Circular_buffer#Full_.2F_Empty_Buffer_Distinction">https://en.wikipedia.org/wiki/Circular_buffer#Full_.2F_Empty_Buffer_Distinction</a>)</span>
 <span id="L361" class="LineNr">361 </span><span class="muRecipe">def</span> <a href='075channel.mu.html#L361'>channel-full?</a> chan:&amp;:channel:_elem<span class="muRecipe"> -&gt; </span>result:bool [
 <span id="L362" class="LineNr">362 </span>  <span class="Constant">local-scope</span>
 <span id="L363" class="LineNr">363 </span>  <span class="Constant">load-ingredients</span>