dud: A dub replacement

Joseph Rushton Wakeling joseph.wakeling at webdrake.net
Mon Nov 18 15:35:12 UTC 2019

On Monday, 18 November 2019 at 13:19:12 UTC, Paolo Invernizzi 
> Closing this kind of discussions and letting anyone to choose 
> "tabs or spaces" is a constructive solution, I think.

It is quite extraordinary how readily folks fall to arguing over 
what the config format should be, rather than what the app should 
actually be able to do. :-\

More information about the Digitalmars-d-announce mailing list