Unified Diff: devtools.html
Issue 29570614:
Issue 5028 - Use browser namespace (Closed)
Base URL: https://hg.adblockplus.org/adblockpluschrome/
Patch Set: Update adblockplusui dependency
Created Oct. 17, 2017, 1:02 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« desktop-options.js ('k')
|
devtools.js » ('j')
|
no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: devtools.html |
| =================================================================== |
| --- a/devtools.html |
| +++ b/devtools.html |
| @@ -13,9 +13,10 @@ |
| - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| - GNU General Public License for more details. |
| - |
| - You should have received a copy of the GNU General Public License |
| - along with Adblock Plus. If not, see <http://www.gnu.org/licenses/>. |
| --> |
| <meta charset="utf-8"> |
| +<script src="polyfill.js"></script> |
| <script src="devtools.js"></script> |
« no previous file with comments
|
« desktop-options.js ('k')
|
devtools.js » ('j')
|
no next file with comments »
