comparison make-dist @ 31372:3004c92de7b0

help-echo stuff
author Dave Love <fx@gnu.org>
date Mon, 04 Sep 2000 13:55:53 +0000
parents 28cc44c6c08c
children f50932a70105
comparison
equal deleted inserted replaced
31371:334404109aae 31372:3004c92de7b0