0000000000000000000000000000000000000000 d8b208426a12394a956cdda5a1661c2ddfc175e7 Dave Mc Nicoll <info@mcnd.ca> 1740173662 -0500	clone: from https://git.mcnd.ca/mcndave/lean-console.git
d8b208426a12394a956cdda5a1661c2ddfc175e7 6d8763a22c93a4de4ac38ca82c1b816913003b18 Dave Mc Nicoll <info@mcnd.ca> 1784043959 -0400	pull origin master: Fast-forward
6d8763a22c93a4de4ac38ca82c1b816913003b18 8323c6218eba75fabf69ce0bbdd2d2af8b1d7459 Dave Mc Nicoll <info@mcnd.ca> 1784217567 -0400	commit: - Added lean 1.4.2 version
8323c6218eba75fabf69ce0bbdd2d2af8b1d7459 4c4737750bb94f090bdfbdaf2b926acaecca4107 Dave Mc Nicoll <info@mcnd.ca> 1784225554 -0400	commit: - Allowing lean up to at least 1.4.2
