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@gmail.com shankao@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.