comparison make-dist @ 17956:7af8470b665a

Use insert to preserve marker positions (pmark) and delete last.
author Simon Marshall <simon@gnu.org>
date Mon, 26 May 1997 09:53:59 +0000
parents b8a3deb464b9
children 0696d4c9aa15
comparison
equal deleted inserted replaced
17955:3140e48262f9 17956:7af8470b665a