3 commits

Author	SHA1	Message	Date
Diffido	d693f3d2ee	fix typo	2018-01-26 17:12:55 +01:00
Diffido	4261623d1a	add documentation	2018-01-26 15:08:42 +01:00
Davide Alberani	3e5be6d58c	skeleton of scheduler	2018-01-15 21:58:10 +01:00