« Previous | Next » 

Revision 0f808c06

ID0f808c066f3b5b190de951db042a34a1eb957a16
Parent 20ab192b
Child fd087589

Added by Ondrej Zajicek about 9 years ago

Adds filtering to 'show symbols' command.

Thanks Alexander V. Chernikov for the original patch.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences