diff makefile.wpm @ 635:6cec85b90635

Close debug file on exit
author mhessling@81767d24-ef19-dc11-ae90-00e081727c95
date Fri, 10 Apr 2009 10:30:54 +0000
parents 75bf3051235f
children 56f311dc23f6
line wrap: on
line diff