mathuramg de165bbe19 add placeholders inside preferences		2016-06-17 14:31:33 -04:00
..
files.js	render p5 sketch, live, simplest case	2016-05-09 18:28:38 -04:00
ide.js	make start and stop buttons work	2016-05-12 17:40:49 -04:00
index.js	add placeholders for preferences	2016-06-17 13:37:29 -04:00
preferences.js	add placeholders inside preferences	2016-06-17 14:31:33 -04:00