Can we please kill the hyphenator already?
Andrei Alexandrescu
SeeWebsiteForEmail at erdani.org
Sun Sep 29 19:28:58 PDT 2013
On 9/29/13 4:02 PM, H. S. Teoh wrote:
> On Mon, Sep 30, 2013 at 12:29:20AM +0200, Dicebot wrote:
>> On Sunday, 29 September 2013 at 22:25:03 UTC, H. S. Teoh wrote:
>>> Wait, didn't somebody already merge the pull to kill off the
>>> hyphenator?
>>> Did it get re-introduced unilaterally without discussion?
>>>
>>> T
>>
>> Did web-site actually get updated since that pull?
>
> Hmm, good point. AFAICT, the latest git HEAD seems like it hasn't been
> installed to dlang.org yet.
>
> Are we waiting for the next DMD release or something?
No, but I just tried the master of dlang.org and it seems to be broken.
I'll do my best to get to it soon.
Andrei
More information about the Digitalmars-d
mailing list