Bauke e59f593245 Adjust various things for the VSCode theme.		2020-04-09 02:10:04 +02:00
..
pages	Add the favicon (fixes #4).	2020-03-22 17:01:42 +01:00
scripts	Create the VSCode Love theme.	2020-04-09 01:57:23 +02:00
vscode	Adjust various things for the VSCode theme.	2020-04-09 02:10:04 +02:00