diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2023-01-30 12:21:47 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-30 12:21:47 +0100 |
commit | c79b1582a7149a01dd4c75adcd689fd533e35e68 (patch) | |
tree | 306a4520a76f685215814a2d32da6367fb15e38b /src/nix/ping-store.cc | |
parent | 575d0aea5dfdf03b2d2534246127b791e9fcb5a6 (diff) | |
parent | 6bdf4edb77bea3fdc006e9b8131a43f4dcd0ee42 (diff) |
Merge pull request #5226 from NixOS/client-side-profiles
Move the default profiles to the user’s home
Diffstat (limited to 'src/nix/ping-store.cc')
0 files changed, 0 insertions, 0 deletions