diff etc/GNU @ 51759:fab51788b2a1

(Info-menu-entry-name-re): Be careful to avoid multiple ways to match the same text. Allow : after : again.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sun, 06 Jul 2003 16:35:23 +0000
parents 6b5aacec5ace
children 3ef78eaf5dca d7ddb3e565de 68c22ea6027c
line wrap: on
line diff