Dave Mc Nicoll 1241e188e9 Merge branch 'master' of https://git.mcnd.ca/mcndave/lean

2023-11-03 16:28:52 +00:00

..

definitions

- Added an HttpFactory and beginning the removal of old annotations from Notes

2023-11-03 16:28:31 +00:00

i18n

- Worked i18n dates a bit

2023-11-01 09:56:23 -04:00