Andreas Tsouchlos edc55a0c8d tut1: decimal point -> decimal comma		2025-11-02 13:34:47 +01:00
..
2025-11-07	tut1: decimal point -> decimal comma	2025-11-02 13:34:47 +01:00
2025-11-21	Fix figure labels	2025-10-29 08:58:15 +01:00
2025-12-05	Remove commented out code	2025-11-01 23:45:33 +01:00