name: "devtools"
description:
  "Subtree at third_party/devtools."

third_party {
  url {
    type: GIT
    value: "https://chromium.googlesource.com/devtools/devtools-frontend"
  }
  version: "757e0e1e1ffc4a0d36d005d120de5f73c1b910e0"
  last_upgrade_date {
    year: 2019
    month: 12
    day: 12
  }
}