Jeffrey Bush 305c734830 Uploading a file with a name that already exists asks the user if they want to overwrite. ... This is not perfect (it doesn't check against the real filesystem but the current list in the browser which may be stale) but it is better than nothing.		2014-08-13 22:07:57 -07:00
..
css	Review comments	2014-06-09 12:05:40 -07:00
js	Uploading a file with a name that already exists asks the user if they want to overwrite.	2014-08-13 22:07:57 -07:00
less	teach tree view about non-notebook files	2014-07-31 11:57:36 -07:00