summary refs log tree commit diff stats
path: root/prelude.html
diff options
context:
space:
mode:
Diffstat (limited to 'prelude.html')
-rw-r--r--prelude.html3
1 files changed, 3 insertions, 0 deletions
diff --git a/prelude.html b/prelude.html index 0ab92d9..2d04269 100644 --- a/prelude.html +++ b/prelude.html
@@ -43,6 +43,9 @@
43 43
44 <!-- ANCHORS --> 44 <!-- ANCHORS -->
45 <div class="anchors"> 45 <div class="anchors">
46 <a href="prelude_backlinks.htm" id="back-link" title="Links to this page">
47 &phi;
48 </a>
46 <a href="index.html" id="cover-link" title="To cover">&loz;</a> 49 <a href="index.html" id="cover-link" title="To cover">&loz;</a>
47 <a href="#" id="lozenge" title="ERROR">&#x221d;</a> 50 <a href="#" id="lozenge" title="ERROR">&#x221d;</a>
48 </div> 51 </div>