Merge pull request #5282 from tobiasd/20180624-install
authorHypolite Petovan <mrpetovan@gmail.com>
Sun, 24 Jun 2018 06:12:38 +0000 (02:12 -0400)
committerGitHub <noreply@github.com>
Sun, 24 Jun 2018 06:12:38 +0000 (02:12 -0400)
commit960834a1fef4da5a7ed0e6dea45cf80cdd8450d2
treecfb5e3f4f0c56745d1755a15d7c2d76961f16730
parent62a61a95d3e1357a64b157136490c82aa4495d3e
parent55eb0100e6db28d7df1487b856846dbb03daee2f
Merge pull request #5282 from tobiasd/20180624-install

INSTALL.txt and doc/de/Install.md updates