2 Jun
2016
2 Jun
'16
9:51 a.m.
Reconverted to use a different argument for the userconf option. On Thu, Jun 2, 2016 at 5:18 PM shankao(a)gmail.com <shankao(a)gmail.com> wrote:
I can change it to a different argument. It may be more readable too
> Yes, looks good, thanks. > Does that work? It seems somewhat suspicious to combine the -userconf and -conf options into a single argument.