Pieter Vander Vennet a37ffb5523 Add operator summaries		2024-05-30 20:06:39 +02:00
..
nsi	Add operator summaries	2024-05-30 20:06:39 +02:00