On 9/7/06, Jules Colding <[EMAIL PROTECTED]> wrote:
They are libtool archives and an info top-level node so I'm assuming
that they can be safely deleted, but am I right about that?

Yes.

-Richard
--
[email protected] mailing list

Reply via email to