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

third_party {
  url {
    type: GIT
    value: "https://chromium.googlesource.com/devtools/devtools-frontend"
  }
  version: "0d4095e47ca0e972e04efecf7772a8d12b60c665"
  # from https://chromium.googlesource.com/chromium/src/+/80.0.3987.162/DEPS#247
  last_upgrade_date {
    year: 2019
    month: 12
    day: 12
  }
}