diff etc/GNU @ 33353:efc926d28bd3

(toplevel): Use byte-compiling-files-p if it is there.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 09 Nov 2000 23:04:16 +0000
parents 6b5aacec5ace
children 3ef78eaf5dca d7ddb3e565de 68c22ea6027c
line wrap: on
line diff