diff options
| author | Jozsef Kadlecsik <kadlec@blackhole.kfki.hu> | 2015-03-29 13:32:10 +0200 |
|---|---|---|
| committer | Jozsef Kadlecsik <kadlec@blackhole.kfki.hu> | 2015-03-29 16:46:42 +0200 |
| commit | fde037966a25e8549b8c76c2940a74dd0f39688c (patch) | |
| tree | aec3889a0d81277beccf81efe18200618aed709c /configure.ac | |
| parent | 987e167158651ab2a1089c7be93f5431187d18d0 (diff) | |
Make sure the proper is_destroyed value is checked at dumping
Signed-off-by: Jozsef Kadlecsik <kadlec@blackhole.kfki.hu>
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions