Dave Mc Nicoll e2d2ff72bb Merge branch 'master' of https://git.mcnd.ca/mcndave/lean		2023-05-31 15:54:35 +00:00
..
definitions	Merge branch 'master' of https://git.mcnd.ca/mcndave/lean	2023-05-31 15:54:35 +00:00
i18n	- Splitted cronard definitions	2023-03-29 13:59:59 +00:00