Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add search term to history during replace (all) (DistributedProofread…
…ers#235) Replace All did not add the search term to the search history.
- Loading branch information