[latexrefman] @file or @code for package names
Vincent Belaïche
vincent.belaiche at gmail.com
Sun Aug 15 06:54:24 CEST 2021
We use both, and Karl changed some @file to @code in revision 914.
What is our _official_ way ?
V.
More information about the latexrefman
mailing list.