diff options
Diffstat (limited to 'templates/otherrepos.hamlet')
| -rw-r--r-- | templates/otherrepos.hamlet | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/templates/otherrepos.hamlet b/templates/otherrepos.hamlet deleted file mode 100644 index f1738f2f0..000000000 --- a/templates/otherrepos.hamlet +++ /dev/null @@ -1,10 +0,0 @@ -<ul .dropdown-menu> - $forall (name, path) <- repolist - <li> - <a href="@{SwitchToRepositoryR path}"> - #{name} - $if not (null repolist) - <li .divider></li> - <li> - <a href="@{NewRepositoryR}"> - Add another repository |