Skip to content

Add filtering capability for Symbols based on names

Viktor Kuncak requested to merge github/fork/jad-hamza/debug-trees into master

Created by: jad-hamza

Can be used to filter ADTs and functions from Symbols based on their names

Merge request reports