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:

Thanks. I've submitted a fix.

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.

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.

Reply via email to