Merge pull request #5242 from CDLuminate/doc-update-debian-guide
authorEvan Shelhamer <shelhamer@imaginarynumber.net>
Wed, 1 Feb 2017 20:28:59 +0000 (12:28 -0800)
committerGitHub <noreply@github.com>
Wed, 1 Feb 2017 20:28:59 +0000 (12:28 -0800)
docs: update install_apt_debian guide


Trivial merge