equal
deleted
inserted
replaced
1 # HG changeset patch |
1 # HG changeset patch |
2 # Parent e0751ad74e835e80041a61ea00c2a63bf6fbe2de |
2 # Parent e0751ad74e835e80041a61ea00c2a63bf6fbe2de |
3 # Parent b75f4c79d0757cd16065811d34a563bdb5cfb15e |
3 # Parent 127964dc93cc35715852bc811dcc67016d918628 |
4 |
4 |
5 diff --git a/browser/branding/branding-common.mozbuild b/browser/branding/branding-common.mozbuild |
5 diff --git a/browser/branding/branding-common.mozbuild b/browser/branding/branding-common.mozbuild |
6 --- a/browser/branding/branding-common.mozbuild |
6 --- a/browser/branding/branding-common.mozbuild |
7 +++ b/browser/branding/branding-common.mozbuild |
7 +++ b/browser/branding/branding-common.mozbuild |
8 @@ -22,12 +22,15 @@ def FirefoxBranding(): |
8 @@ -22,12 +22,15 @@ def FirefoxBranding(): |
41 @RESPATH@/browser/chrome/icons/default/default128.png |
41 @RESPATH@/browser/chrome/icons/default/default128.png |
42 +@RESPATH@/browser/chrome/icons/default/default256.png |
42 +@RESPATH@/browser/chrome/icons/default/default256.png |
43 #endif |
43 #endif |
44 @RESPATH@/browser/features/* |
44 @RESPATH@/browser/features/* |
45 |
45 |
46 ; [Webide Files] |
46 ; [DevTools Startup Files] |
47 @RESPATH@/browser/chrome/webide@JAREXT@ |
47 @RESPATH@/browser/chrome/devtools-startup@JAREXT@ |
48 @RESPATH@/browser/chrome/webide.manifest |
48 @RESPATH@/browser/chrome/devtools-startup.manifest |
49 |
49 |
50 ; [DevTools Startup Files] |
50 ; DevTools |