« Previous | Next » 

Revision 28613

Added by Vicente Caballero about 15 years ago

Ensure the type of the file filter before casting to FileFilter. Fixes bug #2068. Changes by cmartinez.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences