On 12/4/23 00:36, Jakub Jelinek wrote:
On Fri, Dec 01, 2023 at 10:43:57AM -0700, Sandra Loosemore wrote:
On 12/1/23 10:33, Jakub Jelinek wrote:
Shall we tweak that somehow? If the argument names are unimportant, perhaps
it is fine to leave that out, but shouldn't we always use @var{...} around
On Fri, Dec 01, 2023 at 10:43:57AM -0700, Sandra Loosemore wrote:
> On 12/1/23 10:33, Jakub Jelinek wrote:
> > Shall we tweak that somehow? If the argument names are unimportant, perhaps
> > it is fine to leave that out, but shouldn't we always use @var{...} around
> > the parameter names when spe
