diff options
| author | Michele Guerini Rocco <rnhmjoj@users.noreply.github.com> | 2022-10-24 10:57:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-24 10:57:40 +0200 |
| commit | bbdc6e34d1bd6b1644f20078fa8b0373a79e48d1 (patch) | |
| tree | 2768210f3cc143764f953249e11ba75365234cc8 /pkgs/development/compilers/nim/default.nix | |
| parent | f67325ac2c5e5d7ffd41192677ea761ae47e6c79 (diff) | |
| parent | 3bb69836cb478b7c899684915a96e4af312d3c05 (diff) | |
Merge pull request #197069 from rnhmjoj/pr-minimal
nixos/profiles/minimal: don't install freedesktop files
Diffstat (limited to 'pkgs/development/compilers/nim/default.nix')
0 files changed, 0 insertions, 0 deletions