8 events occurring on or after 2024-05-26 11:30:19.
|
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 | |
|
2024-11-19
| ||
| 14:25 | • Added wiki page "todo" artifact: 243b4add87 user: jboy | |
|
2024-05-26
| ||
| 11:30 | correct assignment 3 due date check-in: 25335d965c user: jboy tags: revise-for-2024 | |