On Mon, Aug 18, 2008 at 12:42 AM, Dennis Schridde <[EMAIL PROTECTED]> wrote:
> Per, will you do this, since you are currently working on patch #1095 ("Make
> font configurable") anyway?I can look into it. However, time may be short this week. - Per _______________________________________________ Warzone-dev mailing list [email protected] https://mail.gna.org/listinfo/warzone-dev
