6 events occurring on or after 2024-11-20 11:34:26.
2024-11-22
| ||
22:54 | • Changes to wiki page "todo" artifact: 745edfa645 user: jboy | |
09:40 | fix publishing Leaf check-in: ca353c7f28 user: jboy tags: myst | |
2024-11-21
| ||
14:47 | transition mkdocs -> myst check-in: 196dad0184 user: jboy tags: myst | |
2024-11-20
| ||
17:02 | • Edit [f84164466c]: Add propagating "hidden". artifact: 25e90b2919 user: jboy | |
13:23 | final version from 2024 Leaf check-in: 1f9d6f78b4 user: jboy tags: trunk | |
11:34 | update shell.nix Leaf check-in: 780e283550 user: jboy tags: revise-for-2024 | |