comparison lib-src/make-docfile.c @ 33371:8259eb8d96c2

(face-font-registry-alternatives): New user-option.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 10 Nov 2000 14:34:23 +0000
parents 65f19ae2c578
children 39b2af5f7ee2
comparison
equal deleted inserted replaced
33370:7203e43ca59f 33371:8259eb8d96c2