diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-12-13T09·40+0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-13T09·40+0100 |
| commit | 378e89360d75e6101b128b5766a439af96c170fd (patch) | |
| tree | c7b23c6d06da6b9bb4947b3062ea7a3267851fef /doc/manual | |
| parent | 522cebdef427bb8aad0f3ca140deff2e8bb88017 (diff) | |
| parent | 0e6c84a771a2b124a200bfbedc85e51884ea63a6 (diff) | |
Merge pull request #2576 from LnL7/repl-no-link
nix repl: don't create result symlinks
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions