Merge branch 'master' of ssh://git-annex.branchable.com
This commit is contained in:
commit
7280f7b5bc
2 changed files with 2 additions and 1 deletions
|
@ -120,6 +120,7 @@ repoListDisplay reposelector = do
|
|||
$(widgetFile "repolist")
|
||||
where
|
||||
ident = "repolist"
|
||||
unfinished uuid = uuid == NoUUID
|
||||
|
||||
type RepoList = [(String, UUID, Actions)]
|
||||
|
||||
|
|
|
@ -12,7 +12,7 @@
|
|||
<table .table .table-condensed>
|
||||
<tbody #costsortable>
|
||||
$forall (name, uuid, actions) <- repolist
|
||||
$if uuid == NoUUID
|
||||
$if unfinished uuid
|
||||
<tr .repoline>
|
||||
<td>
|
||||
<a .btn .btn-mini .disabled>
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue