1. 22 Apr, 2020 1 commit
  2. 06 Feb, 2020 1 commit
  3. 04 Feb, 2020 2 commits
  4. 14 Jan, 2020 1 commit
    • Andrew Davies's avatar
      [tools] Rename dev_finder to device-finder. (#48610) · 52e0d980
      Andrew Davies authored
      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' {} \;
      52e0d980
  5. 08 Jan, 2020 1 commit