diff configure @ 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 6ff64f2aa959
children 77e67c428a9f
line wrap: on
line diff