diff options
| author | Will Dietz <w@wdtz.org> | 2017-12-27T01·22-0600 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2017-12-27T01·25-0600 |
| commit | bd17ccf1d822ba76cdd58e9547bc18db35189c55 (patch) | |
| tree | 5de613f02d56ac526e3015afcb04481cfbc2bfd3 /local.mk | |
| parent | aa43cbb7646e880f871df4280f8a1909520136f0 (diff) | |
nix repl: use linenoiseKeyType to differentiate ^C and ^D
Fixes #1757.
Diffstat (limited to 'local.mk')
0 files changed, 0 insertions, 0 deletions