Gordon Williams 0c08e16151 * Added code to handle Settings ... * Added espruinotools.js for pretokenisation		2020-04-29 09:20:18 +01:00
..
appinfo.js	* Added code to handle Settings	2020-04-29 09:20:18 +01:00
comms.js	Data files: remove settings magic, some more sanitychecks	2020-04-16 20:42:23 +02:00
espruinotools.js	* Added code to handle Settings	2020-04-29 09:20:18 +01:00
index.js	* Added code to handle Settings	2020-04-29 09:20:18 +01:00
pwa.js	Fix HTTPS warning positioning. Also doesn't matter for localhost	2020-04-07 10:53:02 +01:00
service-worker.js	added service-worker.js	2020-04-04 12:12:11 +02:00
ui.js	add favourite functionality	2020-04-14 08:52:04 +02:00
utils.js	Tweak favourite apps code to remove the duplicated app uploader	2020-04-23 15:47:57 +01:00