diff options
| author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2023-02-09 19:51:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-09 19:51:43 +0100 |
| commit | 5597d68e2d73a3b89ff36fcfeac82d7fe7d4f384 (patch) | |
| tree | 350db0d1223401f7934e2280136677b7c7b55ef0 /doc/manual | |
| parent | 0a7071ed33933249cc39078eb4769010428bbaa8 (diff) | |
| parent | 44bea52ae3ca9569250eb1f50100f2c3260cc688 (diff) | |
Merge pull request #7754 from obsidiansystems/narrower-scope-derivation-flag
Scope down `--derivation` to just the commands that use it
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions