Frank van der Heijden 4b6008299b Close plugins internally when reloading them instead of externally		2020-07-19 21:55:00 +02:00
..
main	Close plugins internally when reloading them instead of externally	2020-07-19 21:55:00 +02:00