Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[processing] use a better icon for the find/replace action
(the new icon harmonizes itself with the console script editor)
- Loading branch information