Joscha 3f8057490f Commit unstaged changes ... Coming back to this project after a while, these changes were still unstaged. In order not to lose them I'm committing them here, even though I don't remember what they're for. They might not even work properly.		2020-06-19 13:51:59 +00:00
..
about.html	[web] Move web client to this repo	2020-03-25 21:11:03 +00:00
init.html	[web] Move web client to this repo	2020-03-25 21:11:03 +00:00
main.css	[web] Move web client to this repo	2020-03-25 21:11:03 +00:00
node.css	[web] Fix editor line sometimes not being curved	2020-03-25 21:13:34 +00:00
node.js	Commit unstaged changes	2020-06-19 13:51:59 +00:00
settings.css	[web] Move web client to this repo	2020-03-25 21:11:03 +00:00
settings.js	[web] Move web client to this repo	2020-03-25 21:11:03 +00:00