| name: "devtools" | |
| description: | |
| "Subtree at third_party/devtools." | |
| third_party { | |
| url { | |
| type: LOCAL_SOURCE | |
| value: "/third_party/chromium/devtools_mirror" | |
| } | |
| url { | |
| type: GIT | |
| value: "https://chromium.googlesource.com/devtools/devtools-frontend" | |
| } | |
| version: "757e0e1e1ffc4a0d36d005d120de5f73c1b910e0" | |
| last_upgrade_date { | |
| year: 2019 | |
| month: 12 | |
| day: 12 | |
| } | |
| } |