DavHau d1e8b1ed96 devShells: one global python devshell + activation via command ... - this adds devShells.{system}.python - a 'select-shell' command to switch between devshells		2024-03-01 18:16:38 +07:00
..
select-shell.py	devShells: one global python devshell + activation via command	2024-03-01 18:16:38 +07:00