5 commits

Author	SHA1	Message	Date
Yarmo Mackenbach	ddb085166c	Update AGPL headers in PHP files	2020-07-31 00:35:35 +02:00
Yarmo Mackenbach	4461141903	Add AGPL headers	2020-07-30 12:05:11 +02:00
Yarmo Mackenbach	e301ad042c	Improve phrasing of key upload command	2020-07-16 20:00:15 +02:00
Yarmo Mackenbach	5d3781398d	Improve proof snippets	2020-07-16 12:57:12 +02:00
Yarmo Mackenbach	e6a62d453d	Add discourse guide	2020-07-06 11:51:10 +02:00