| name: "devtools" |
| description: |
| "Subtree at third_party/devtools." |
| |
| third_party { |
| identifier { |
| type: "ChromiumVersion" |
| value: "80.0.3987.162" # from https://chromereleases.googleblog.com/2020/03/stable-channel-update-for-desktop_31.html |
| } |
| identifier { |
| type: "Git" |
| value: "https://chromium.googlesource.com/devtools/devtools-frontend.git" |
| version: "0d4095e47ca0e972e04efecf7772a8d12b60c665" |
| # from https://chromium.googlesource.com/chromium/src/+/80.0.3987.162/DEPS#247 |
| } |
| last_upgrade_date { |
| year: 2019 |
| month: 12 |
| day: 12 |
| } |
| } |
