diff make-dist @ 87346:c5910db8e06e

(rng-error): Rename from rng-error-face.
author Jason Rumney <jasonr@gnu.org>
date Thu, 20 Dec 2007 15:18:18 +0000
parents 2c4cf44f634f
children 4424409d4223 53108e6cea98
line wrap: on
line diff