Skip to content

Add get_used_type_names methods

Oscar Gustafsson requested to merge getusedtypenames into master

Related to #248

Merge request reports