Can we please kill the hyphenator already?
Brad Anderson
eco at gnuk.net
Tue Oct 1 20:56:29 PDT 2013
On Wednesday, 2 October 2013 at 00:58:27 UTC, Andrej Mitrovic
wrote:
> On 10/1/13, Andrei Alexandrescu <SeeWebsiteForEmail at erdani.org>
> wrote:
>> Fixed - I just pushed the fixed druntime docs.
>
> It's also apparently loading hyphenator here:
> http://dlang.org/changelog.html
>
> Can't we remove it globally? :/
Deleting "js/hyphenate.js" from the server would do the trick
without having to upload the work-in-progress version of the
website. The website really needs to be developed in two
separate branches to prevent this type of thing from happening.
More information about the Digitalmars-d
mailing list