diff admin/revdiff @ 77558:9df8abf5a5cf

button face dealt with.
author Glenn Morris <rgm@gnu.org>
date Thu, 26 Apr 2007 03:21:16 +0000
parents 3d45362f1d38
children 450fa81c5930 95d0cdf160ea
line wrap: on
line diff