|
.vscode
|
filter corrected towards #270
|
2019-01-23 14:48:17 +01:00 |
|
assets
|
UX/UI polish in various places
|
2019-02-15 13:28:39 +01:00 |
|
config
|
Cleanup & (maybe|require)BearerToken
|
2019-04-17 11:35:27 +02:00 |
|
gup
|
Nix build harness
|
2017-10-02 20:17:33 +02:00 |
|
messages
|
Tutorials
|
2019-04-29 00:20:34 +02:00 |
|
models
|
Tutorials
|
2019-04-29 00:20:34 +02:00 |
|
src
|
Cleanup
|
2019-04-29 00:45:08 +02:00 |
|
static
|
Tutorials
|
2019-04-29 00:20:34 +02:00 |
|
templates
|
Cleanup
|
2019-04-29 00:45:08 +02:00 |
|
test
|
Tutorials
|
2019-04-29 00:20:34 +02:00 |
|
.hlint.yaml
|
multiple lecturers for course, no verification
|
2019-03-25 15:38:03 +01:00 |
|
build.sh
|
Minor cleanup
|
2019-04-27 14:17:13 +02:00 |
|
ChangeLog.md
|
Cleanup
|
2019-04-29 00:45:08 +02:00 |
|
clean.sh
|
Feature complete MassInput
|
2019-03-20 20:53:10 +01:00 |
|
db.sh
|
Tutorials
|
2019-04-29 00:20:34 +02:00 |
|
haddock.sh
|
Prototype of !token
|
2019-04-05 00:05:56 +02:00 |
|
hlint.sh
|
Don't generate bogus coverage in hlint.sh
|
2019-04-16 21:41:22 +02:00 |
|
package.yaml
|
Tutorials
|
2019-04-29 00:20:34 +02:00 |
|
RoleDescriptions.txt
|
Further comments on database-model
|
2019-03-15 13:05:46 +01:00 |
|
routes
|
Tutorials
|
2019-04-29 00:20:34 +02:00 |
|
stack.nix
|
Clean up build
|
2019-03-11 12:49:19 +01:00 |
|
stack.yaml
|
systemd integration
|
2019-04-25 15:43:05 +02:00 |
|
start.sh
|
Improve AuthPred memoisation
|
2019-04-03 22:07:30 +02:00 |