diff FTP @ 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 cb7b83e13a02
children 20daeefd7052
line wrap: on
line diff