diff man/regs.texi @ 28599:a348ff133401

(gud-jdb-build-source-files-list): Change file-exists-p to file-directory-p.
author Gerd Moellmann <gerd@gnu.org>
date Sat, 15 Apr 2000 11:32:12 +0000
parents ac7e9e5e2ccb
children 6cd5aaf1a361
line wrap: on
line diff