clean up menu

This commit is contained in:
Filip Gralinski 2018-01-18 08:24:06 +01:00
parent ce9ef289f6
commit ae2d28ceff
2 changed files with 2 additions and 4 deletions

View File

@ -7,7 +7,7 @@ PublicUrl: public repo (URL)
PrivateUrl: private repo (URL)
Branch: branch
Add: Add!
ListChallenges: list challenges
ListChallenges: challenges
SubmitSolution: Submit a solution to the challenge
Submit: Submit
SubmissionUrl: Submission repo URL
@ -35,7 +35,7 @@ CreateResetLink: create reset link
LinkWrongOrExpired: Link wrong or expired, please ask the site admin again
TagName: tag
TagDescription: description
ListTags: list tags
ListTags: tags
AchievementName: achievement name
AchievementDescription: optional description
AchievementDeadlineDay: achievement deadline day

View File

@ -5,7 +5,6 @@
$maybe user <- maybeUser
<ul class="nav navbar-nav">
<li><a href="@{HomeR}">_{MsgHome}</a>
<li><a href="@{Presentation4RealR}">_{MsgAbout}</a>
<li><a href="@{ListChallengesR}">_{MsgListChallenges}</a>
<li><a href="@{TagsR}">_{MsgListTags}</a>
@ -24,7 +23,6 @@
<li><a href="@{AuthR LogoutR}">_{MsgLogOut}</a></li>
$nothing
<ul class="nav navbar-nav">
<li><a href="@{HomeR}">_{MsgHome}</a>
<li><a href="@{Presentation4RealR}">_{MsgAbout}</a>
<li><a href="@{ListChallengesR}">_{MsgListChallenges}</a>
<li><a href="@{TagsR}">_{MsgListTags}</a>