Linus Heckemann a3553cdae8 doc/nix-shell: Remove outdated bashrc information ... This behaviour was removed in 65f6d5db6f.		2021-05-11 14:33:35 +02:00
..
manual	doc/nix-shell: Remove outdated bashrc information	2021-05-11 14:33:35 +02:00