rnhmjoj bcf54ce5bb treewide: use ${stdenv.shell} instead of /bin/sh where possible

2019-01-16 20:37:15 +01:00

..

launcher

…

vm

treewide: use ${stdenv.shell} instead of /bin/sh where possible

2019-01-16 20:37:15 +01:00

wrapper

pharo: Tighten source and simplify meta.platforms

2018-03-12 18:55:41 -04:00