mcndave 5f5ca6cff5 Merge branch 'master' of https://git.mcnd.ca/mcndave/lean

2023-03-29 15:12:40 +00:00

..

definitions

Merge branch 'master' of https://git.mcnd.ca/mcndave/lean

2023-03-29 15:12:40 +00:00

i18n

- Splitted cronard definitions

2023-03-29 13:59:59 +00:00