rename explorer to state, being more consistent internally
Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
This commit is contained in:
parent
602e57455d
commit
8e5a0f83c5
Loading…
Reference in New Issue