« Previous | Next » 

Revision 3e667804

ID3e667804ebcc435f879354d0678d7d276308f70e
Parent a1bafc55
Child 763059ee

Added by Jeroen Janssen almost 13 years ago

Fix options_file_memory_leak

Fixes #1714.
Fixes #1715.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences