Dave Mc Nicoll 80dee6de86 Merge branch 'master' of https://git.mcnd.ca/mcndave/lean		2022-01-31 00:06:05 +00:00
..
definitions	Merge branch 'master' of https://git.mcnd.ca/mcndave/lean	2022-01-31 00:06:05 +00:00
i18n	- Worked th error layout	2021-08-27 18:06:15 +00:00