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
On Tuesday, 8 August 2017 at 14:57:58 UTC, Daniel Kozak wrote:
Thanks. I've submitted a fix.
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.
Just rename it to dmanual.
I've been wondering what dman was. I though it literally D Man.
dmanual is the obvious name it should have.