Thomas Kluyver d32322e332 Show terminals as terminals/name ... Bigger click target		2014-10-31 17:28:51 -07:00
..
css	Review comments	2014-06-09 12:05:40 -07:00
js	Show terminals as terminals/name	2014-10-31 17:28:51 -07:00
less	teach tree view about non-notebook files	2014-07-31 11:57:36 -07:00