diff options
author | Tobias Geerinckx-Rice <[email protected]> | 2022-06-12 02:00:00 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <[email protected]> | 2022-06-12 02:00:00 +0200 |
commit | 5c0ef02db94ccb90a4fe43edc538f3239c10b095 (patch) | |
tree | b070233cbd87970dbbadc1e6b1d82cd0d745d364 /TODO | |
parent | 0929657ec69f7f7425c517ecfa1129e3f9337350 (diff) |
doc: Substitute ‘copy’ for confusing ‘drop’.
* doc/guix.texi (Build Environment Setup): ‘drop in’ → ‘copy to’.
Reported by lechner in #guix.
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions