diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2019-07-10T08·29+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2019-07-10T09·28+0200 |
commit | aa739e783993864aa6e0c8a4820e6b59f4626d92 (patch) | |
tree | f8a3c3589704de891ef81385654b9285d7f9b329 /doc/manual/release-notes/rl-0.9.1.xml | |
parent | b5ae85f0882f4857f550ed68b23af260af5000a0 (diff) |
nix copy: Rename --substitute to --substitute-on-destination
'--substitute' was being shadowed by the regular '--substitute' (the short-hand for '--option substitute true'). Fixes #2983.
Diffstat (limited to 'doc/manual/release-notes/rl-0.9.1.xml')
0 files changed, 0 insertions, 0 deletions