diff options
Diffstat (limited to 'templates/page.hamlet')
-rw-r--r-- | templates/page.hamlet | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/templates/page.hamlet b/templates/page.hamlet deleted file mode 100644 index 7648b6107..000000000 --- a/templates/page.hamlet +++ /dev/null @@ -1,23 +0,0 @@ -<div .navbar .navbar-fixed-top> - <div .navbar-inner> - <div .container> - <a .brand> - git-annex - <ul .nav> - $forall (name, route, isactive) <- navbar - <li :isactive:.active> - <a href="@{route}"> - #{name} - $maybe reldir <- relDir webapp - <ul .nav .pull-right> - <li> - ^{actionButton FileBrowserR (Just "Files") "" "icon-folder-open icon-white"} - <li .dropdown #menu1> - <a .dropdown-toggle data-toggle="dropdown" href="#menu1"> - Current Repository: #{reldir} - <b .caret></b> - ^{otherReposWidget} - $nothing -<div .container-fluid> - <div .row-fluid> - ^{content} |