Add shelf link

1 files changed, 1 insertions, 1 deletions

diff --git a/cgi/user.cgi b/cgi/user.cgi
index 98c5280..86a99f5 100755
--- a/cgi/user.cgi
+++ b/cgi/user.cgi
@@ -14,7 +14,7 @@ def toplinks
   $cgi.ul(class: "toplinks") {
     $cgi.li { link("/"                      , "Home"              ) } +
     $cgi.li { link("/bins"                  , "Bins"              ) } +
-#    $cgi.li { link("/shelf"                 , "Shelf"             ) } +
+    $cgi.li { link("/shelf"                 , "Shelf"             ) } +
     $cgi.li { link("/eamit.html"            , "eamit"       , true) } +
     $cgi.li { link("https://git.4574.co.uk/", "Git"         , true) } +
     $cgi.li { link("/stuff-i-want"          , "Stuff I Want"      ) }