2 Commits

Include renames

Author	SHA1	Message	Date
Michael Telatynski	2634ed949f	Fix Searching's mixing of types	2021-07-10 16:00:04 +01:00
Michael Telatynski	bd175c6f40	Improve and consolidate typing	2021-07-10 15:43:46 +01:00