Vladimír Čunát 5f3b72cfc2 docs: change expired bzip2.org to archive.org ... Fixes #2396.		2018-09-03 17:57:13 +02:00
..
manual	docs: change expired bzip2.org to archive.org	2018-09-03 17:57:13 +02:00