diff makefile.wpm @ 231:a3775f5b877f

Only free current_file when we have a new file selected to show.
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Wed, 05 Feb 2003 07:11:37 +0000
parents 75bf3051235f
children 56f311dc23f6
line wrap: on
line diff