Giulio 310b9eaba5 Fixed build insturctions; permissions should be set in permissions.config and not in build script		2020-09-23 10:25:43 +02:00
..
tgr	Fixed build insturctions; permissions should be set in permissions.config and not in build script	2020-09-23 10:25:43 +02:00