>
home
>
Commands
query_replace
January 19th 2020
Queries the user for two strings, and incrementally replaces every occurence of the first string with the second string.