Re: [patch] require extension for graphic filenames

[Andre Poenitz]

On Tue, Apr 27, 2004 at 07:38:12PM +0200, Georg Baum wrote:
> Is the attached ok, or are there any reasons to keep the current filename
> syntax?

I think the idea is sound, but I can't comment on the Python code.

Andre'