diff etc/HELLO @ 51519:9933cebac174

(shell-resync-dirs): Tolerate an extra line of output before the list of directories from `shell-dirstack-query' (it looks for, and ignores, a literal copy of the value of shell-dirstack-query).
author Juanma Barranquero <lekktu@gmail.com>
date Fri, 06 Jun 2003 17:39:46 +0000
parents 959a145fa4cd
children 8481330e8469 2f877ed80fa6
line wrap: on
line diff