(Tags): Delete redundant index entry.
authorRichard M. Stallman <rms@gnu.org>
Sat, 26 Jan 2008 23:57:17 +0000 (23:57 +0000)
committerRichard M. Stallman <rms@gnu.org>
Sat, 26 Jan 2008 23:57:17 +0000 (23:57 +0000)
commitae068fdff1f6ef59035b1db42572ea09731a8285
treed79e73babf3fe797cc7b7d27b9ab8244a98d49ce
parent9bb1a1d66cfef977eab4129895ca7290be40ecfa
(Tags): Delete redundant index entry.
man/ChangeLog
man/maintaining.texi