Update cron documentation to include Spring formatting#6

essential-randomness wants to merge 1 commit into

microcks:mastermicrocks/microcks.github.io:masterfrom

essential-randomness:cron-documentationessential-randomness/microcks.github.io:cron-documentationCopy head branch name to clipboard