diff admin/revdiff @ 95757:5be5ad6047d1

(locate-library): Doc fix.
author Glenn Morris <rgm@gnu.org>
date Tue, 10 Jun 2008 03:10:06 +0000
parents e6db9ee945b8
children ce88a631c161
line wrap: on
line diff