diff make-dist @ 66815:b9685771709d

(Fsubstitute_command_keys): Doc fix.
author Kim F. Storm <storm@cua.dk>
date Fri, 11 Nov 2005 15:36:36 +0000
parents 28718fa5d988
children 2cadd1e7bd46 0ca0d9181b5e
line wrap: on
line diff