diff options
author | Debian Python Modules Team <python-modules-team@lists.alioth.debian.org> | 2019-03-09 16:21:07 +0000 |
---|---|---|
committer | Andrej Shadura <andrewsh@debian.org> | 2019-03-09 16:21:07 +0000 |
commit | 8daa7923efa8dbd886cc3b8a7f32f9862f89908c (patch) | |
tree | 21650ffc559f64c142823b07dce1add3956649ca /notebook/templates/page.html | |
parent | 01e672e01dadf75c0e2b249a0dd29d43db757c19 (diff) |
use-term.jsHEADarchive/debian/5.7.4-2master
Gbp-Pq: Name 0012-use-term.js.patch
Diffstat (limited to 'notebook/templates/page.html')
-rw-r--r-- | notebook/templates/page.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/notebook/templates/page.html b/notebook/templates/page.html index cf8ff5c..8e69c1b 100644 --- a/notebook/templates/page.html +++ b/notebook/templates/page.html @@ -42,7 +42,7 @@ 'jquery-ui': 'components/jquery-ui/jquery-ui.min', moment: 'components/moment/min/moment-with-locales', codemirror: 'components/codemirror', - termjs: 'components/xterm.js/xterm', + termjs: 'components/term.js/src/term', typeahead: 'components/jquery-typeahead/dist/jquery.typeahead.min', }, map: { // for backward compatibility |