Andrew Davies 52e0d980cb [tools] Rename dev_finder to device-finder. (#48610)
dev_finder name is deprecated. device-finder is preferred.
Functionality remains identical, this is an aesthetic change.

This change was generated via:
$ find . -not -path '*/\.*' -type f -exec sed -i 's/(^import.*)!dev_finder/device-finder/g' {} \;
2020-01-14 09:41:16 -08:00
..