diff make-dist @ 45529:45014630aeb2

(perform-replace): Document return value. Use `pop'.
author Colin Walters <walters@gnu.org>
date Sun, 26 May 2002 20:42:51 +0000
parents f526d32944b1
children 23a1cea22d13
line wrap: on
line diff