diff admin/revdiff @ 40164:2e0eb9ecea2c

(diff-switches): Remove duplicate definition.
author André Spiegel <spiegel@gnu.org>
date Sun, 21 Oct 2001 23:31:45 +0000
parents 570be39418f4
children 23a1cea22d13
line wrap: on
line diff