add --pure option to dev-shell#3172

Closed

mkenigs wants to merge 3 commits intoNixOS:flakesfrom

Commits on Oct 28, 2019

add --pure option to dev-shell
mkenigs
committed

Commits on Oct 29, 2019