summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorOndrej Zajicek <santiago@crfreenet.org>2012-03-16 12:47:12 +0100
committerOndrej Zajicek <santiago@crfreenet.org>2012-03-16 12:47:12 +0100
commit0f808c066f3b5b190de951db042a34a1eb957a16 (patch)
tree7b54bd3f5965d6c02ef096f01176c0161d312e97 /tools
parent20ab192beca749166e19118e987b53b5e131d0cf (diff)
Adds filtering to 'show symbols' command.
Thanks Alexander V. Chernikov for the original patch.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions