Torkel Ödegaard 42d7308034 fix: save as enter key now works and folder selection also works, fixes #10464		2018-01-16 12:50:24 +01:00
..
folder_picker.html	fix: save as enter key now works and folder selection also works, fixes #10464	2018-01-16 12:50:24 +01:00
folder_picker.ts	prettier: ran on all files again, sorry. now settings are defined in package.json	2017-12-21 08:39:31 +01:00