Iskren Chernev 2dd707a7ea envkernel.sh: Add reactivate, deactivate on re-source (MR 1918) ... Some users prefer to re-source the script from time to time. Detect that and deactivate first.		2020-06-02 11:34:46 +02:00
..
envkernel.fish	helpers/envkernel.fish: add gcc4 support (!1842)	2019-12-14 00:18:21 +01:00
envkernel.sh	envkernel.sh: Add reactivate, deactivate on re-source (MR 1918)	2020-06-02 11:34:46 +02:00
envsetup.sh	Add helpers/envsetup.sh (#1390)	2018-04-08 12:58:10 +00:00