You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Thomas Kluyver 8489faa4cf Backport PR #1838: terminal: Bump xterm.js to 2.0.1 ... Primary fix is better copy / paste support Release notes in https://github.com/sourcelair/xterm.js/releases/tag/2.0.1 Doesn't seem to break any styling, unlike the last update I made :)		9 years ago
..
tests	update confined output test notebook	11 years ago
build-main.js	Backport PR #1838: terminal: Bump xterm.js to 2.0.1	9 years ago
secure_notebook.py	make certif 0o600 also.	10 years ago