Fixed typings #6

Merged

arne merged 2 commits from corner-typings-patch into master 2020-05-26 15:33:40 +02:00

Conversation 0 Commits 2 Files Changed 1 +15 -11

2 Commits

Author	SHA1	Message	Date
Job Vonk	495856ee53	Fixed syntax errors	2020-05-25 13:10:17 +02:00
Job Vonk	03fa6c32b0	Patched some typings mistakes	2020-05-18 18:28:19 +02:00