Remove outdated docs link
commit5a1851488af72103fdfcc2bca36fa34112de4836
authorMichal Čihař <michal@cihar.com>
Wed, 23 Aug 2017 11:38:05 +0000 (23 13:38 +0200)
committerMichal Čihař <michal@cihar.com>
Wed, 23 Aug 2017 11:38:27 +0000 (23 13:38 +0200)
treebd3a5ad4e2b7fd176e1e58a74299c68331895ca6
parent4ef01e4df0e67e5d891680e338f240c54208191e
Remove outdated docs link

It probably no longer applies and the server is not working for most of the time.

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