Eelco Dolstra a7aabd7cc7 Add getDefaultProfile() function		2019-10-21 16:07:19 +02:00
..
nix-env.cc	Add getDefaultProfile() function	2019-10-21 16:07:19 +02:00
user-env.cc	Replace Unicode quotes in user-facing strings by ASCII	2017-07-30 12:32:45 +01:00
user-env.hh	Mis-read Eelko's request to not make this an option: now, let's not make	2015-05-20 17:29:52 +02:00