diff etc/LINUX-GNU @ 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 23a1cea22d13
children
line wrap: on
line diff