diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-08-29T16·13+0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-29T16·13+0200 |
| commit | 1286d86b9540841a9fa451c8e7ee0a6d48ae2527 (patch) | |
| tree | 26d428422d46fe6e2dd9047ea66fde4de035907c /shell.nix | |
| parent | d16ff76c69318c4ef04b1dcc873a72910b8eca49 (diff) | |
| parent | ec49ea28dc5309c8905fc4385fb65ec7a88b33f6 (diff) | |
Merge pull request #2336 from ivan/repl-trailing-spaces
repl: don't add trailing spaces to history lines
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions