Clarify comment and add another host to ignore list
commit5aa9727eb0796c3812e8e1ace565601af8a9b5d1
authorMichal Čihař <michal@cihar.com>
Wed, 1 Nov 2017 09:24:09 +0000 (1 10:24 +0100)
committerMichal Čihař <michal@cihar.com>
Wed, 1 Nov 2017 09:24:09 +0000 (1 10:24 +0100)
treeaef84052a5aa20af10c2f28c88c1a7260f586fbd
parent8ed94542c071f9175bbfdae3c82c581d595d2f68
Clarify comment and add another host to ignore list

Signed-off-by: Michal Čihař <michal@cihar.com>
doc/conf.py