diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-01-10T19·55+0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-10T19·55+0100 |
| commit | 30906122e2f780892ab72e92d623d67dde6f0e38 (patch) | |
| tree | 35148cd7174fc9782ce1638bfa5102f2c021299a /.editorconfig | |
| parent | 9a7432672ba7016ea03e992e99a1d14e72e77747 (diff) | |
| parent | 93c9ba3e783a0250786fe7f305551cee6f0ea3ef (diff) | |
Merge pull request #2617 from veprbl/pr/V547_nix_repl.cc
remove some dead code in nix/repl.cc
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions