base
|
Improve edit app
|
2014-12-18 15:19:36 -08:00 |
edit
|
Review comments
|
2014-12-18 15:19:36 -08:00 |
notebook
|
Move kernel logo to right margin.
|
2014-12-18 15:37:22 -08:00 |
services
|
Merge pull request #7087 from nheijermans/master
|
2014-12-18 09:19:44 +01:00 |
style
|
Remove right margin from the terminal
|
2014-12-18 16:28:59 -08:00 |
terminal
|
Remove right margin from the terminal
|
2014-12-18 16:28:59 -08:00 |
tree
|
Make things consistent
|
2014-12-18 15:19:36 -08:00 |
widgets
|
Merge pull request #7227 from jdfreder/undead
|
2014-12-16 14:56:58 -08:00 |