This website requires JavaScript.
Explore
Help
Sign In
mcndave
/
lean
Watch
1
Star
0
Fork
0
You've already forked lean
Code
Issues
2
Pull Requests
Projects
1
Releases
Wiki
Activity
lean
/
meta
History
Dave M
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
