>
home
>
Commands
query_replace
September 8th 2024
Queries the user for two strings, and incrementally replaces every occurence of the first string with the second string.