diff move-if-change @ 45214:793403e94381

(shell-replace-by-expanded-directory): If there's already a / at the end, don't add one.
author Richard M. Stallman <rms@gnu.org>
date Fri, 10 May 2002 00:58:27 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff