Daniele Debernardi b0ea7ad8a0 envkernel.sh: fix shellcheck errors (!1853)		2020-01-22 00:17:23 +01:00
..
envkernel.fish	helpers/envkernel.fish: add gcc4 support (!1842)	2019-12-14 00:18:21 +01:00
envkernel.sh	envkernel.sh: fix shellcheck errors (!1853)	2020-01-22 00:17:23 +01:00
envsetup.sh	Add helpers/envsetup.sh (#1390)	2018-04-08 12:58:10 +00:00