diff admin/revdiff @ 79190:afa7fa1e71f4

(customize-changed-options): Make arg optional.
author Richard M. Stallman <rms@gnu.org>
date Wed, 24 Oct 2007 08:09:30 +0000
parents 450fa81c5930
children cde444d03b82 f55f9811f5d7
line wrap: on
line diff