diff BUGS @ 82422:77d2d5f85dbc

(compilation-get-file-structure): Make use of the directory part when checking for an existing entry, to handle files with same basename in different directories.
author Glenn Morris <rgm@gnu.org>
date Fri, 17 Aug 2007 07:17:13 +0000
parents 8ce686bd7f4f
children fb8bf24d2eb9
line wrap: on
line diff