diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2021-10-12 17:11:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-12 17:11:39 +0200 |
| commit | 3e0c6aac9a0431d850f325eb5b491ae12364e071 (patch) | |
| tree | 0f89b532324fad598b68fc87fea8be34ef2f4e8d /scripts | |
| parent | 5176b072ed55d1528cb36e0c865e4fcffbc6a7a1 (diff) | |
| parent | f6cdae5181fb32231d75439635106e3d093931ad (diff) | |
Merge pull request #5375 from edolstra/repl-ctrl-c
nix repl: Fix plugin-files warning
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions