comparison make-dist @ 41570:7456b3a795c4

(strokes-prompt-user-save-strokes): Use insert instead of insert-string.
author Pavel Janík <Pavel@Janik.cz>
date Mon, 26 Nov 2001 16:22:21 +0000
parents 9cef47e51d37
children 1cc9127ddf72
comparison
equal deleted inserted replaced
41569:f403516f2134 41570:7456b3a795c4