diff doc/misc/gnus-coding.texi @ 92394:7701acfc2ec5

(w32font_full_name): Report point size for scalable fonts.
author Jason Rumney <jasonr@gnu.org>
date Sat, 01 Mar 2008 23:03:57 +0000
parents 22a3b3069f85
children d3767aa9ae49
line wrap: on
line diff