| Index: chrome/tools/build/linux/FILES.cfg
|
| diff --git a/chrome/tools/build/linux/FILES.cfg b/chrome/tools/build/linux/FILES.cfg
|
| index d0c39ed072b209c5cfa170e685920ab99fb2909f..429b69eb133263341d1b2087e0e774e38095ac43 100644
|
| --- a/chrome/tools/build/linux/FILES.cfg
|
| +++ b/chrome/tools/build/linux/FILES.cfg
|
| @@ -106,12 +106,6 @@ FILES = [
|
| 'arch': ['32bit', '64bit'],
|
| 'buildtype': ['dev', 'official'],
|
| },
|
| - {
|
| - 'filename': 'devtools_frontend.zip',
|
| - 'arch': ['32bit', '64bit'],
|
| - 'buildtype': ['dev'],
|
| - 'archive': 'devtools_frontend.zip',
|
| - },
|
| # Flash Player files:
|
| # Pepper Flash Player files:
|
| {
|
|
|