diff options
Diffstat (limited to 'templates/otherrepos.hamlet')
| -rw-r--r-- | templates/otherrepos.hamlet | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/templates/otherrepos.hamlet b/templates/otherrepos.hamlet new file mode 100644 index 000000000..f1738f2f0 --- /dev/null +++ b/templates/otherrepos.hamlet @@ -0,0 +1,10 @@ +<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 |