Luciano Righetti 8b5144d957 add: [ctis-2022] luciano slides		2023-03-02 08:54:45 +01:00
..
2019	chg: [event] move more event-related -> events	2022-06-15 23:14:09 +02:00
2021	chg: [a.13] fix typo	2022-09-15 17:22:08 +02:00
2022	add: [ctis-2022] luciano slides	2023-03-02 08:54:45 +01:00