diff admin/revdiff @ 104767:8d8d06eea864

Documented define-obsolete-face-alias.
author Glenn Morris <rgm@gnu.org>
date Tue, 01 Sep 2009 02:54:49 +0000
parents ce88a631c161
children 1d1d5d9bd884
line wrap: on
line diff