0000000000000000000000000000000000000000 e0e53e1aa2c4c2e0d8d62aff12da6a82fea8a4be Dave Mc Nicoll <info@mcnd.ca> 1784118718 -0400	clone: from https://git.mcnd.ca/mcndave/lean-live.git
