fixes testbed filter when no testbed is selected (closes ticket #50).
[unfold.git] / to-be-integrated / debug_platform / __init__.py