|
Utils
|
Merge branch 'js-utils-cleanup'
|
2019-02-20 22:07:02 +01:00 |
|
Admin.hs
|
First steps towards editable User Rights
|
2019-02-14 16:01:47 +01:00 |
|
Common.hs
|
Memcached integration for widgets
|
2018-12-05 13:50:46 +01:00 |
|
Course.hs
|
Merge branch 'js-utils-cleanup'
|
2019-02-20 22:07:02 +01:00 |
|
CryptoIDDispatch.hs
|
Cleanup language extensions
|
2018-10-28 19:11:40 +01:00 |
|
Home.hs
|
Impressum and DSGV-Stub updated
|
2019-02-20 18:53:21 +01:00 |
|
School.hs
|
Fix warnings
|
2018-11-01 22:06:00 +01:00 |
|
Submission.hs
|
Cleanup & haddock
|
2019-01-17 11:44:18 +01:00 |
|
Term.hs
|
Fixbuild linter warnings
|
2019-02-11 10:55:04 +01:00 |
|
Users.hs
|
Merge branch 'js-utils-cleanup'
|
2019-02-20 22:07:02 +01:00 |
|
Utils.hs
|
Steps towards #126, compiling but incomplete
|
2019-02-19 20:30:18 +01:00 |