nixos-config/machines
Simon Bruder acc9940043
Remove dev profile
Profiles are deprecated in favour of options.

For rust development, use nix-shell instead.
2020-12-05 16:09:10 +01:00
..
nunotaba Remove dev profile 2020-12-05 16:09:10 +01:00
sayuri Remove dev profile 2020-12-05 16:09:10 +01:00