From 51e7ab4f70f9ccf0711d94156dfe5dd0584c9919 Mon Sep 17 00:00:00 2001 From: Michael Peter Christen Date: Sat, 9 Feb 2013 06:57:20 +0100 Subject: [PATCH] moved bookmarks back to more prominent location (even if this does not fit to the 'Search Interfaces' headline) --- htroot/env/templates/header.template | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/htroot/env/templates/header.template b/htroot/env/templates/header.template index d660c3fe6..ae5020f34 100644 --- a/htroot/env/templates/header.template +++ b/htroot/env/templates/header.template @@ -16,6 +16,7 @@
  • Compare Search
  • URL Viewer
  • +
  • Bookmarks
  • Network Access
  • Computation
  • Terminal
  • -
  • Bookmarks