Revision 3e667804
ID | 3e667804ebcc435f879354d0678d7d276308f70e |
Parent | a1bafc55 |
Child | 763059ee |
Fix options_file_memory_leak
Fixes #1714.
Fixes #1715.
Files
- added
- modified
- copied
- renamed
- deleted
ID | 3e667804ebcc435f879354d0678d7d276308f70e |
Parent | a1bafc55 |
Child | 763059ee |
Added by Jeroen Janssen almost 13 years ago
Fix options_file_memory_leak
Fixes #1714.
Fixes #1715.