Unified Diff: devtools.html
Issue 29452181:
Noissue - Merge current tip to Edge bookmark (Closed)
Patch Set:
Created May 30, 2017, 3:49 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« dependencies ('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 |
| =================================================================== |
| rename from chrome/devtools.html |
| rename to devtools.html |
| --- a/chrome/devtools.html |
| +++ b/devtools.html |
| @@ -1,6 +1,6 @@ |
| <!-- |
| - This file is part of Adblock Plus <https://adblockplus.org/>, |
| - - Copyright (C) 2006-2016 Eyeo GmbH |
| + - Copyright (C) 2006-2017 eyeo GmbH |
| - |
| - Adblock Plus is free software: you can redistribute it and/or modify |
| - it under the terms of the GNU General Public License version 3 as |
« no previous file with comments
|
« dependencies ('k')
|
devtools.js » ('j')
|
no next file with comments »
