.. |
AccountReset.hs
|
course can be given
|
2017-10-20 09:49:37 +02:00 |
Achievements.hs
|
using Gonito.net in class
|
2018-04-07 18:51:58 +02:00 |
AchievementUtils.hs
|
show course in Achievements
|
2017-10-03 07:23:52 +02:00 |
Common.hs
|
trying to switch off autocomplete in account settings (not fully possible)
|
2017-09-23 14:51:15 +02:00 |
CreateChallenge.hs
|
start handling git-annex remote
|
2018-06-05 07:46:42 +02:00 |
Discussion.hs
|
add RSS for a challenge timeline
|
2016-05-03 22:14:55 +02:00 |
EditSubmission.hs
|
tags can be added during submission
|
2017-09-27 19:38:42 +02:00 |
Extract.hs
|
update for LTS 10.10
|
2018-05-19 08:05:24 +02:00 |
ExtraPoints.hs
|
show message when extra points added
|
2018-01-02 19:36:41 +01:00 |
Graph.hs
|
API for returning scores
|
2018-01-25 16:34:05 +01:00 |
Home.hs
|
clean up starred
|
2018-01-25 16:43:50 +01:00 |
ListChallenges.hs
|
clean up starred
|
2018-01-25 16:43:50 +01:00 |
MakePublic.hs
|
only public submissions are listed when queried
|
2016-02-15 12:42:05 +01:00 |
Presentation.hs
|
update presentation
|
2017-05-30 14:20:22 +02:00 |
Query.hs
|
API for returning scores
|
2018-01-25 16:34:05 +01:00 |
Score.hs
|
show extra points
|
2018-01-02 20:37:11 +01:00 |
Shared.hs
|
start handling git-annex remote
|
2018-06-05 07:46:42 +02:00 |
ShowChallenge.hs
|
refactored cloning cntd.
|
2018-06-04 22:14:39 +02:00 |
SubmissionView.hs
|
show tag status
|
2017-05-27 22:31:53 +02:00 |
Tables.hs
|
API for returning scores
|
2018-01-25 16:34:05 +01:00 |
Tags.hs
|
tags can be accepted now
|
2017-05-28 10:06:50 +02:00 |
TagUtils.hs
|
tags can be added during submission
|
2017-09-27 19:38:42 +02:00 |
YourAccount.hs
|
info on triggering
|
2017-09-28 16:51:10 +02:00 |