diff admin/build-configs @ 79615:c70a8429c7d8

(copy-face): Create the new face explicitly if it does not exist already.
author Richard M. Stallman <rms@gnu.org>
date Sun, 23 Dec 2007 18:08:38 +0000
parents 450fa81c5930
children cde444d03b82 f55f9811f5d7
line wrap: on
line diff