Stephane Nicoll 6d11d73cbc Move shell.auth to shell.auth.type ...

This commit moves the `shell.auth` property to `shell.auth.type`. The
previous situation was unfortunate since `shell.auth` was both a group
and a particular property.

Closes gh-5139

2016-04-15 18:12:35 +02:00

..

main

Move shell.auth to shell.auth.type

2016-04-15 18:12:35 +02:00