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

[Jean Abou Samra]

Le 01/10/2021 à 14:09, David Kastrup a écrit :

$*undefined*

I think you mean

$*unspecified*

Jean