diff src/w32console.c @ 96133:e7d9b9d2e1ef

[OLD_FONT]: Remove obsolete font code.
author Jason Rumney <jasonr@gnu.org>
date Fri, 20 Jun 2008 21:46:05 +0000
parents 8971ddf55736
children e038c1a8307c
line wrap: on
line diff