Skip to content
Snippets Groups Projects
user avatar
Bram Moolenaar authored
Problem:    Search history lines are duplicated. (Edwin Steiner)
Solution:   Convert separator character from space to NUL.
d87fbc2b
Name Last commit Last update