14 days ago
0399091
Add property to toggle showing bonus on report
...
15 days ago
dc9c05c
Add support for group/team marking. Other minor tweaks.
17 days ago
d8d343c
Add textarea font size property since the default is tiny on 4K screens.
21 days ago
da6ab4a
Add some default values to the schema
on 5 Oct
da15aa3
Prevent penalties from resulting in negative marks
on 2 Oct
3bc33df
Bugfix. Don't send email if marking not complete.
eae297b
Bugfix. Clear buttons not working. Inverted logic at some point.
on 1 Sep
f90a92b
Add description of editor and criterion types.
on 1 Sep
8cdb94b
Update libs. Modify build to use libs rather than lib.
on 4 Jul
5a232d7
Sometimes the sources.list is broken after install, so fix that.
on 7 Jun
4440d4b
Add more complete .gitignore
4dec708
Update author attribute in JavaDocs
8f926d8
Update dependencies. Clean up build.gradle.
...
on 16 May
51a3af8
Add script for building and packaging for all architectures that we care about.
on 18 Apr 2023
Add content-type filter
on 18 Apr 2023
Close by 9c60ca0e17