On Mon, Dec 29, 2014 at 04:19:53PM -0800, Andrei Alexandrescu via Digitalmars-d 
wrote:
> Please destroy https://github.com/D-Programming-Language/dlang.org/pull/734
> -- Andrei

Please don't.

The *real* fix is to fix dmd to output nicer anchors, not patching
broken output with, of all things, a *script*.


T

-- 
Making non-nullable pointers is just plugging one hole in a cheese grater. -- 
Walter Bright

Reply via email to