Daiderd Jordan a0f2ceb787 environment: don't use default for profiles ... This makes it easier to add entries without having to add all of the default values again.		2017-05-13 16:58:53 +02:00
..
default.nix	environment: don't use default for profiles	2017-05-13 16:58:53 +02:00