diff TOOLS/README @ 17768:c7b1b78f14bd

free tmp earlier, it is not needed below and might leak on errors otherwise
author reimar
date Wed, 08 Mar 2006 10:50:16 +0000
parents c658a7107209
children 2c4e00fa6f0e
line wrap: on
line diff