diff admin/revdiff @ 40652:8dc305c093c1

Minor cleanup.
author Richard M. Stallman <rms@gnu.org>
date Fri, 02 Nov 2001 17:47:37 +0000
parents 570be39418f4
children 23a1cea22d13
line wrap: on
line diff