« Previous | Next » 

Revision 7c0d9e5e

ID7c0d9e5e83687f63e18db3c6a6de03eb76eb21c7
Parent 8382fba1
Child 8ea7e79e, e3a7a189

Added by Lorenzo Miniero about 5 years ago

Fixed wrong casts when closing plugins

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences