diff configure @ 654:89b77368d45c

Improve resource management.
author gthomas
date Fri, 21 Feb 2003 18:10:31 +0000
parents f58bc1b2c2bc
children d6a1854fdc1b
line wrap: on
line diff