Darko Poljak 638ddd95d6 Fix problems found by sellcheck in type explorers.		2018-10-07 19:41:44 +02:00
..
state	Fix problems found by sellcheck in type explorers.	2018-10-07 19:41:44 +02:00