diff config.bat @ 8033:bedead77e86f

(shell-prefixed-directory-name): Do nothing if comint-file-name-prefix is empty. Do not inline.
author Richard M. Stallman <rms@gnu.org>
date Thu, 23 Jun 1994 23:12:13 +0000
parents de6995fec29e
children 9eae919f9a23
line wrap: on
line diff