diff etc/pl-refcard.ps @ 41560:7428670426b2

(gamegrid-init-buffer): Use insert instead of insert-string.
author Pavel Janík <Pavel@Janik.cz>
date Mon, 26 Nov 2001 16:16:45 +0000
parents cca3d7d412be
children 3f1743ca9233
line wrap: on
line diff