Re: [frogs] my contribution: barCheckNumber to endSpanners

[John Mandereau]

Carl D. Sorensen a écrit :
> I've only used @code{} because I saw it in the docs before I started.
>
> I think @var{} makes more sense.
>
> Anybody on -devel have a definitive answer to this question?

The purpose of @var is marking variables (but not names of predefined 
variables), so let's use it as suggested by the C. Guide.  If we want 
variables in a fixed-width font though, it's certainly possible to tweak 
HTML output.

Cheers,
John