diff options
Diffstat (limited to 'user_doc.head.html')
| -rw-r--r-- | user_doc.head.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/user_doc.head.html b/user_doc.head.html index 342bf99b..6a768495 100644 --- a/user_doc.head.html +++ b/user_doc.head.html @@ -32,9 +32,9 @@ H4 <div class="qindex"> - <a class="qindex" href="http://www.fishshell.org"><tt>fish</tt> home</a> + <a class="qindex" href="http://www.fishshell.org"><tt>fish</tt> home</a> | - <a class="qindex" href="index.html">Main documentation page</a> + <a class="qindex" href="index.html">Main documentation page</a> | <a class="qindex" href="design.html">Design document</a> | @@ -43,6 +43,6 @@ H4 <a class="qindex" href="faq.html">FAQ</a> | <a class="qindex" href="license.html">License</a> - + </div> |