Merge pull request #7633 from mikeller/reorder_cli_diff
commitd86310bea2f93d53a1f3f2d2d93be30917e3dec1
authorMichael Keller <github@ike.ch>
Sat, 23 Feb 2019 00:43:30 +0000 (23 13:43 +1300)
committerGitHub <noreply@github.com>
Sat, 23 Feb 2019 00:43:30 +0000 (23 13:43 +1300)
treeddb7b5885a72e710ef1ddcbcd3c8133e8c5c530b
parentaed1e51cf6588630ff847ba460ca4d0a6397a933
parent4d03e9b5a6581d399db453b3975abd482d1bab1e
Merge pull request #7633 from mikeller/reorder_cli_diff

Put display name in CLI 'diff' in a better position.
src/main/cli/cli.c