Remove deprecated CLI name command (#8837)
commitf02e1e081f4472daede2f664476cb6693575b1c2
authorMichael Keller <github@ike.ch>
Thu, 17 Oct 2019 14:28:48 +0000 (18 03:28 +1300)
committerGitHub <noreply@github.com>
Thu, 17 Oct 2019 14:28:48 +0000 (18 03:28 +1300)
treeb6b5158c1fe65d3f0f1349267ea6990240b37666
parentc8c523328e2757e7c9980a2200ed47f4c7b26a80
parent9889e59f783a67fa5e908f4eb68f4748c671693e
Remove deprecated CLI name command (#8837)

Remove deprecated CLI name command
src/main/cli/cli.c