3 Commits

Include renames

Author	SHA1	Message	Date
Jörg Breitbart	df4b07f9f2	type fixes & docs	2020-01-04 14:47:14 +01:00
Jörg Breitbart	0f8a034e8b	make linter happy	2019-12-21 16:29:46 +01:00
Jörg Breitbart	0631323bf5	cleanup	2019-12-21 16:27:12 +01:00