2 Commits

Author	SHA1	Message	Date
Unrud	bbaf0ebd8c	Change name in file header	2021-12-09 16:55:46 +01:00
Unrud	cecb17df03	More type hints	2021-09-26 22:24:45 +02:00