On Thursday, 10 August 2017 at 20:18:50 UTC, Walter Bright wrote:
On 8/8/2017 1:32 PM, Martin Nowak wrote:
On Tuesday, 8 August 2017 at 15:45:45 UTC, Vladimir Panteleev
wrote:
On Tuesday, 8 August 2017 at 14:57:58 UTC, Daniel Kozak wrote:
https://issues.dlang.org/show_bug.cgi?id=17731
On 8/10/2017 6:03 PM, Vladimir Panteleev wrote:
On Thursday, 10 August 2017 at 20:15:12 UTC, Walter Bright wrote:
It could use all of the runtime library functions added to the index, instead
of just a smattering.
This should be the case as of a few years. Is there anything missing
On Thursday, 10 August 2017 at 20:15:12 UTC, Walter Bright wrote:
It could use all of the runtime library functions added to the
index, instead of just a smattering.
This should be the case as of a few years. Is there anything
missing specifically that you can point out?
On 8/8/2017 1:32 PM, Martin Nowak wrote:
On Tuesday, 8 August 2017 at 15:45:45 UTC, Vladimir Panteleev wrote:
On Tuesday, 8 August 2017 at 14:57:58 UTC, Daniel Kozak wrote:
https://issues.dlang.org/show_bug.cgi?id=17731
Thanks. I've submitted a fix.
Thanks, considering
On 8/10/2017 10:24 AM, Martin Nowak wrote:
Does it provide enough value over the website search?
I use it all the time, because it gets me where I want to go from the command
line. Opening a browser, browsing to dlang.org, clickety-clicking around takes
much longer.
Worse, the site search
On Thursday, 10 August 2017 at 17:24:41 UTC, Martin Nowak wrote:
Try dman 2.074.0, opens
http://dlang.org/changelog/2.019.html#2.074.0.
That would be a bug. It extends to the generated CHM's index as
well, so we should fix it.
So in the end the search bar works much better for me.
If
On Wednesday, 9 August 2017 at 15:35:12 UTC, Ulrich Küttler wrote:
On Tuesday, 8 August 2017 at 20:32:34 UTC, Martin Nowak wrote:
Thanks, considering
https://issues.dlang.org/show_bug.cgi?id=17569 I'd still say
we should evaluate whether we want to continue maintaining and
shipping a tool
On Tuesday, 8 August 2017 at 20:32:34 UTC, Martin Nowak wrote:
Thanks, considering
https://issues.dlang.org/show_bug.cgi?id=17569 I'd still say we
should evaluate whether we want to continue maintaining and
shipping a tool with unclear usefulness and userbase.
dman is awesome! I did not use
On Tuesday, 8 August 2017 at 20:32:34 UTC, Martin Nowak wrote:
On Tuesday, 8 August 2017 at 15:45:45 UTC, Vladimir Panteleev
wrote:
On Tuesday, 8 August 2017 at 14:57:58 UTC, Daniel Kozak wrote:
https://issues.dlang.org/show_bug.cgi?id=17731
Thanks. I've submitted a fix.
Thanks,
On Tuesday, 8 August 2017 at 15:45:45 UTC, Vladimir Panteleev
wrote:
On Tuesday, 8 August 2017 at 14:57:58 UTC, Daniel Kozak wrote:
https://issues.dlang.org/show_bug.cgi?id=17731
Thanks. I've submitted a fix.
Thanks, considering
https://issues.dlang.org/show_bug.cgi?id=17569 I'd still say
On Tuesday, 8 August 2017 at 14:57:58 UTC, Daniel Kozak wrote:
https://issues.dlang.org/show_bug.cgi?id=17731
Thanks. I've submitted a fix.
https://issues.dlang.org/show_bug.cgi?id=17731
On Tue, Aug 8, 2017 at 4:45 PM, Vladimir Panteleev via
Digitalmars-d-announce wrote:
> On Tuesday, 8 August 2017 at 08:41:15 UTC, Martin Nowak wrote:
>
>> This release does not ship with the dman tool due to an
On Tuesday, 8 August 2017 at 08:41:15 UTC, Martin Nowak wrote:
This release does not ship with the dman tool due to an
unresolved issue.
What's the problem with dman?
13 matches
Mail list logo