| 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 | |
| } | |
| } |