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 /local.mk | |
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 'local.mk')
0 files changed, 0 insertions, 0 deletions