competition - Competition manager for CodeCup-like games

	Commit message (Collapse)	Author	Age
*	params.h -> command-line arguments	Tom Smeding	2021-10-17
\|
*	'writemaybe' command to allow broken pipe errors	Tom Smeding	2021-10-16
\|
*	BREAKING New referee protocol	tomsmeding	2019-08-08
\|
*	Add referee features	tomsmeding	2019-02-16
\|
*	Feature 'write_lines' -- UNTESTED!	Tom Smeding	2019-02-15
\|
*	Kill referee on player timeout	Tom Smeding	2018-08-20
\|
*	Initial	Tom Smeding	2018-08-20