diff options
| author | Jeroen Vreeken <jeroen@vreeken.net> | 2019-07-18 11:02:12 +0200 |
|---|---|---|
| committer | Jeroen Vreeken <jeroen@vreeken.net> | 2019-07-18 11:02:12 +0200 |
| commit | f820636a8300b44751750354a01be21895b4b536 (patch) | |
| tree | ab217ad50a145a8c7a1094fbafd5d3d30260e7cd /devtools/client/webide/content/monitor.xhtml | |
| parent | 6b6aa59ffc97ac76b4429db38eedac8474f5fda7 (diff) | |
| parent | 45cb5ab7291f44d3e06de4e71e5b0a9e80f6a0b6 (diff) | |
| download | UXP-f820636a8300b44751750354a01be21895b4b536.tar UXP-f820636a8300b44751750354a01be21895b4b536.tar.gz UXP-f820636a8300b44751750354a01be21895b4b536.tar.lz UXP-f820636a8300b44751750354a01be21895b4b536.tar.xz UXP-f820636a8300b44751750354a01be21895b4b536.zip | |
Merge branch 'master' of github.com:JeroenVreeken/UXP
Diffstat (limited to 'devtools/client/webide/content/monitor.xhtml')
| -rw-r--r-- | devtools/client/webide/content/monitor.xhtml | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/devtools/client/webide/content/monitor.xhtml b/devtools/client/webide/content/monitor.xhtml deleted file mode 100644 index 552f3826c..000000000 --- a/devtools/client/webide/content/monitor.xhtml +++ /dev/null @@ -1,31 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> - -<!-- This Source Code Form is subject to the terms of the Mozilla Public - - License, v. 2.0. If a copy of the MPL was not distributed with this - - file, You can obtain one at http://mozilla.org/MPL/2.0/. --> - -<!DOCTYPE html [ - <!ENTITY % webideDTD SYSTEM "chrome://devtools/locale/webide.dtd" > - %webideDTD; -]> - - -<html xmlns="http://www.w3.org/1999/xhtml"> - <head> - <meta charset="utf8"/> - <link rel="stylesheet" href="chrome://webide/skin/deck.css" type="text/css"/> - <link rel="stylesheet" href="chrome://webide/skin/monitor.css" type="text/css"/> - <script src="chrome://devtools/content/shared/vendor/d3.js"></script> - <script type="application/javascript;version=1.8" src="monitor.js"></script> - </head> - <body> - - <div id="controls"> - <a href="https://developer.mozilla.org/docs/Tools/WebIDE/Monitor" target="_blank">&monitor_help;</a> - <a id="close">&deck_close;</a> - </div> - - <h1>&monitor_title;</h1> - - </body> -</html> |