diff doc/misc/gpl.texi @ 91205:75f33cb01d7c

(w32_to_x_font): Fix bad merge.
author Jason Rumney <jasonr@gnu.org>
date Thu, 06 Dec 2007 15:17:39 +0000
parents 92b679648bcf
children ef719132ddfa
line wrap: on
line diff