unknown 9b4d69ca3c restarting the page if the user changes the page. fixes #47		2020-05-21 23:02:19 +01:00
..
account.js
commandline.js	added missing semicolons	2020-05-21 17:33:01 +01:00
db.js
script.js	restarting the page if the user changes the page. fixes #47	2020-05-21 23:02:19 +01:00
settings.js
userconfig.js	reverting to default colors if the favicon was about to be a solid square	2020-05-21 17:34:26 +01:00
words.js	added chinese simplified	2020-05-20 19:13:02 +01:00