1. 01 Mar, 2021 1 commit
  2. 31 Aug, 2020 1 commit
  3. 28 Aug, 2020 1 commit
  4. 27 Aug, 2020 1 commit
  5. 17 Jul, 2020 1 commit
  6. 22 Apr, 2020 1 commit
  7. 06 Feb, 2020 1 commit
  8. 04 Feb, 2020 2 commits
  9. 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
  10. 08 Jan, 2020 1 commit