aboutsummaryrefslogtreecommitdiff
path: root/cgi/user.cgi
diff options
context:
space:
mode:
Diffstat (limited to 'cgi/user.cgi')
-rwxr-xr-xcgi/user.cgi2
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" ) }