git-annex-3.20130105: templates/controlmenu.hamlet

<ul .dropdown-menu>
  <li>
    <a href="@{NewRepositoryR}">
      <i .icon-plus-sign></i> Add another local repository
    <a href="@{RepositorySwitcherR}">
      <i .icon-folder-close></i> Switch repository
    <a href="@{RestartR}">
      <i .icon-repeat></i> Restart daemon
    <a href="@{ShutdownR}">
      <i .icon-off></i> Shutdown daemon