Jaime van Kessel dd6467303e Add option to not print the list of plugins installed. ... This should make it a lot easier to read the test output		2020-08-14 16:25:47 +02:00
..
build.sh	Add option to not print the list of plugins installed.	2020-08-14 16:25:47 +02:00