activities
14 days ago
e39fae3 Improve README
6a42e05 Add team to schema
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 19 Mar
02b3a95 Update some deps
ffc0aac Add unmarked view
on 1 Mar
mark.george edited the mark.george/Wiki wiki
on 1 Mar
mark.george edited the mark.george/Wiki wiki
on 1 Mar
mark.george edited the mark.george/Wiki wiki
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.
6e72bdb Update H2 versions
on 1 Sep
f90a92b Add description of editor and criterion types.
on 1 Sep
2a2a1c8 Add penalty as criterion
8cdb94b Update libs. Modify build to use libs rather than lib.
on 8 Aug
mark.george edited the mark.george/Wiki wiki
on 8 Aug
mark.george edited the mark.george/Wiki wiki
on 8 Aug
mark.george edited the mark.george/Wiki wiki
on 4 Jul
80f00b5 Add apt sources list
on 4 Jul
5a232d7 Sometimes the sources.list is broken after install, so fix that.
on 7 Jun
689d0e9 Remove deploy test folder
on 7 Jun
4440d4b Add more complete .gitignore
4dec708 Update author attribute in JavaDocs
8f926d8 Update dependencies. Clean up build.gradle.
...
on 23 May
6c40ef8 Add CC property
on 16 May
51a3af8 Add script for building and packaging for all architectures that we care about.
on 2 May
mark.george edited the mark.george/Wiki wiki
on 2 May
mark.george edited the mark.george/Wiki wiki
on 1 May
mark.george edited the mark.george/Wiki wiki
on 1 May
mark.george edited the mark.george/Wiki wiki
on 1 May
mark.george edited the mark.george/Wiki wiki
on 1 May
mark.george edited the mark.george/Wiki wiki
on 18 Apr 2023
Add content-type filter
on 18 Apr 2023
mark.george commented on issue mark.george/httpcat#9
Close by 9c60ca0e17