UI: BrowseR: Tweak header texts

This commit is contained in:
fr33domlover 2022-09-26 14:19:49 +00:00
parent 7429345cc0
commit 89dc9b5c9d

View file

@ -65,7 +65,7 @@ $# <http://creativecommons.org/publicdomain/zero/1.0/>.
<a href=@{PersonR $ hashPerson personID}>
~#{username2text $ personUsername person} #{actorName actor}
<h2>Groups
<h2>Teams
<ul>
$forall (Entity groupID _, Entity _ actor) <- groups
@ -81,7 +81,7 @@ $# <http://creativecommons.org/publicdomain/zero/1.0/>.
<a href=@{RepoR $ hashRepo repoID}>
^#{keyHashidText $ hashRepo repoID} #{actorName actor}
<h2>Decks
<h2>Ticket Trackers
<ul>
$forall (Entity deckID _, Entity _ actor) <- decks
@ -89,7 +89,7 @@ $# <http://creativecommons.org/publicdomain/zero/1.0/>.
<a href=@{DeckR $ hashDeck deckID}>
=#{keyHashidText $ hashDeck deckID} #{actorName actor}
<h2>Looms
<h2>Merge Request Trackers
<ul>
$forall (Entity loomID _, Entity _ actor) <- looms