3 commits

Author	SHA1	Message	Date
Aarni Koskela	e4386f417f	server : add a subtle loading animation to the edit box (#2466) ... * editorconfig: add override for the server HTML (which already is 2-space indented) * server: add a subtle loading animation to the edit box	2023-09-04 16:28:55 +08:00
Pavol Rusnak	82d146df9b	do not force the prompt file to end with a new line (#908)	2023-04-13 11:33:16 +02:00
Pavol Rusnak	8b679987cd	Fix whitespace, add .editorconfig, add GitHub workflow (#883)	2023-04-11 19:45:44 +00:00