Re: Removing files from tools/

>>>>> "Gerd" == Gerd Moellmann <gerd.moellmann@xxxxxxxxxxx> writes:

    Gerd> I'd like to remove these files from tools/ if nobody needs them:

[snip]

    Gerd>   heapanal.lisp

This seems like a useful file, even if out-of-date.

    Gerd>   sample-wrapper

Pierre's build scripts copy this for making distributions.

Ray