diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-06-19 12:54:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-19 12:54:05 +0200 |
| commit | f5e620bf2be7ed552962ab5b6637771d5a4d64d3 (patch) | |
| tree | f989a4829accc3c9d878c6e9649df05a795b5f39 /src/nix/profile-wipe-history.md | |
| parent | 49288d6e4004a8693bc4041bd9f88d6b399dc602 (diff) | |
| parent | e54538c461e993827d9fbe3b8883d3887f184798 (diff) | |
Merge pull request #8483 from edolstra/save-root
restoreMountNamespace(): Restore the original root directory
Diffstat (limited to 'src/nix/profile-wipe-history.md')
0 files changed, 0 insertions, 0 deletions