On 2015-01-12 02:24, Andrei Alexandrescu wrote:

Problem is not that, but instead the repeated description. -- Andrei

How about folding symbols with the same documentation, like "ditto" does?

--
/Jacob Carlborg

Reply via email to