DescriptionRemove remaining uses of \times (3301)
In English language docs only
(thanks to Federico)
Also use @dots{} instead of ...
This is in a separate commit.
Patch Set 1 #
Total comments: 1
Patch Set 2 : Respond to David's comment #MessagesTotal messages: 5
|