2 Commits

Include renames

Author	SHA1	Message	Date
Pavol RusnakandGitHub	82d146df9b	do not force the prompt file to end with a new line (#908)	2023-04-13 11:33:16 +02:00
Pavol RusnakandGitHub	8b679987cd	Fix whitespace, add .editorconfig, add GitHub workflow (#883)	2023-04-11 19:45:44 +00:00