« Previous | Next » 

Revision 6382b18b

ID6382b18bbd31a5d39d2585fdcde9ea42f9421b8d
Parent 156ffa6c
Child c3972b4f

Added by Javi Fontan over 8 years ago

feature #1653: add --filter to list commands

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences