diff options
author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2022-12-20 07:41:46 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-20 07:41:46 +0100 |
commit | c3d522dc51b2b25a002ad6cd1cfb876488cf1cf4 (patch) | |
tree | 2ecca2ab7572b224a00fc7e72ceca46cbbf9fef5 /doc/manual/src | |
parent | f118e661e040a67e05b36b6dfe4f087a31fe81b2 (diff) | |
parent | 94cf0da7b2955d5b54a142b9e920332746a61033 (diff) |
Merge pull request #7480 from nrdxp/fix-develop-drv
fix(develop): make `nix develop` drv recreatable
Diffstat (limited to 'doc/manual/src')
0 files changed, 0 insertions, 0 deletions