Tom van Woudenberg 92d48b83f3 replace png with svg		2024-12-17 14:15:18 +01:00
..
figures	replace png with svg	2024-12-17 14:15:18 +01:00
workshop	replace png with svg	2024-12-17 14:15:18 +01:00
book.md	update intro-book	2024-12-14 07:35:05 +01:00
next.md	first part: update pages	2024-12-12 05:45:55 +01:00
template.md	Update template.md	2024-12-13 20:51:44 +01:00
workflow.md	update intro-book	2024-12-14 07:35:05 +01:00