ghalestrilo 88d7f9ec2d Merge branch 'develop' of https://github.com/processing/p5.js-web-editor into feature/mobile-preferences-number-widget		2020-07-17 15:41:07 -03:00
..
App	Re-add Redux DevTools to App.jsx	2020-07-01 16:56:05 -04:00
IDE	[#1500] Update sketch media file duplication code	2020-07-16 17:00:50 -04:00
Mobile	♻️ create option creators, improve header transparency	2020-07-03 15:22:20 -03:00
User	Allow deleted sketches in collections to be removed (fixes #1465)	2020-06-29 11:39:35 +02:00