diff options
author | aszlig <aszlig@redmoonstudios.org> | 2017-06-22 01:45:51 +0200 |
---|---|---|
committer | aszlig <aszlig@redmoonstudios.org> | 2017-06-22 02:05:33 +0200 |
commit | a911f4231c6c0a4c7d7621873ae452a37d12faf4 (patch) | |
tree | f5edd606ebcf90096e8b53b3aea79c46cd41c912 /machines/devhell/skunkworks.nix | |
parent | fc432e46a22494e1cafb53b0555da92301815921 (diff) |
devhell: Move users_dev.nix into base profile
IMHO this module is really too small to factor it out into its own profile module, so I'm putting it into the base profile as it's really common among all of devhell's machines. Signed-off-by: aszlig <aszlig@redmoonstudios.org> Cc: @devhell
Diffstat (limited to 'machines/devhell/skunkworks.nix')
0 files changed, 0 insertions, 0 deletions