Merge pull request #3390 from bobafetthotmail/patch-16
authorYousong Zhou <yszhou4tech@gmail.com>
Tue, 25 Oct 2016 05:03:41 +0000 (00:03 -0500)
committerGitHub <noreply@github.com>
Tue, 25 Oct 2016 05:03:41 +0000 (00:03 -0500)
dvtm: move to Terminal submenu


Trivial merge