18bae020ed
And add a form to add another, unrelated repository
10 lines
243 B
Text
10 lines
243 B
Text
<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
|