Re: How to get warnings for unused parts of a file?

[David Kastrup]

Jean Abou Samra <j...@abou-samra.fr> writes:

> Le 01/10/2021 à 14:09, David Kastrup a écrit :
>> $*undefined*
>
> I think you mean
>
> $*unspecified*

Right.  Sorry.

-- 
David Kastrup