Jose Gracia daca52ed6c Remove obsolete scripts to set environment variables		2024-11-12 09:49:44 +01:00
..
envs	Remove obsolete scripts to set environment variables	2024-11-12 09:49:44 +01:00
scripts	Make populate release script independent of any other	2024-11-12 09:45:20 +01:00