diff options
| author | Marvin Borner | 2023-02-24 15:40:44 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-02-24 15:40:44 +0100 |
| commit | bacae7b6a2c7e669248d76759d820dd815e97c4b (patch) | |
| tree | aefaa4db1a0421fcb132ebcc42f0ef1916e16d62 /config | |
| parent | 168358b774d64201ea560b9cdf3e1ff58a0d69c8 (diff) | |
More reasonable defaults for REPL/editors
Diffstat (limited to 'config')
| -rw-r--r-- | config | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -10,6 +10,3 @@ historyDuplicates: IgnoreConsecutive bind: { { } left bind: ( ( ) left bind: [ [ ] left -bind: } right -bind: ] right -bind: ) right |