« Previous | Next » 

Revision 0e7331b7

ID0e7331b7b3a0511b7ad60bda7bf65bccdfc245ce
Parent 2ef660b9
Child 92a74bd8

Added by Carlos Martín about 10 years ago

Feature #523: Bugfix, a pointer was being deleted twice

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences