Franziska Kunsmann 44414f2375 libs/tools: adjust resolve_identifier() to new interface config		2020-11-09 15:23:44 +01:00
..
tools.py	libs/tools: adjust resolve_identifier() to new interface config	2020-11-09 15:23:44 +01:00