diff options
| author | José Fonseca <[email protected]> | 2009-07-16 11:21:12 +0100 |
|---|---|---|
| committer | José Fonseca <[email protected]> | 2009-07-16 11:22:56 +0100 |
| commit | 0c4350790ac0639996cbefcf2556ca5748d39454 (patch) | |
| tree | a4a3ba265258b7391b62e06d1b84748cecf02d42 /doxygen/doxy.bat | |
| parent | 4e1e18a772061fe3573f2ee2bf6afe447ee66fd6 (diff) | |
python: Hack to prevent segmentation faults when python exits.
Diffstat (limited to 'doxygen/doxy.bat')
0 files changed, 0 insertions, 0 deletions