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 cb88603ff1 Merge pull request #1837 from gnestor/busy-favicon ... Change favicon when busy		9 years ago
..
images	Change favicon when busy	9 years ago
js	Fix: Carriage symbol should behave like in console	9 years ago
less	scroll long tracebacks to the bottom	10 years ago