diff etc/images/help.pbm @ 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 28718fa5d988
children
line wrap: on
line diff