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