view src/.dbxinit @ 49390:1ab93adb0017

(Info-index): change pattern so that index entries with colons can be read properly; also, require at least one space after the colons, which makeinfo puts in. From: Aubrey Jaffer <agj@alum.mit.edu>, 7 Nov 2002 21:16:12 -0500, sent to bug-texinfo.
author Karl Berry <karl@gnu.org>
date Wed, 22 Jan 2003 20:35:23 +0000
parents 18e524802887
children
line wrap: on
line source

ignore 14
catch 18
ignore 20
ignore 23
alias s step
alias n next
alias c cont
alias st status
alias r run
alias l list
alias f file
alias q quit
alias w where
alias d delete
alias p print