|
| From: | Jean Abou Samra |
| Subject: | Re: How to get warnings for unused parts of a file? |
| Date: | Fri, 1 Oct 2021 14:40:59 +0200 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.11.0 |
Le 01/10/2021 à 14:09, David Kastrup a écrit :
$*undefined*
I think you mean $*unspecified* Jean
| [Prev in Thread] | Current Thread | [Next in Thread] |