diff info/dir @ 69415:bbbd0ad05f29

(Info-dir-remove-duplicates): Move point to the beginning of the current line after deleting the entries from redundant heading. Use marker for `limit' and compare it with point before calling `re-search-forward'.
author Juri Linkov <juri@jurta.org>
date Sat, 11 Mar 2006 22:35:18 +0000
parents fc745b05e928
children 29d30adaf4e4 7432ca837c8d
line wrap: on
line diff