Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: efa75c871d8c069ac4efb8d32c62fe7c2980e4af https://github.com/phpmyadmin/phpmyadmin/commit/efa75c871d8c069ac4efb8d32c62... Author: Michal Čihař michal@cihar.com Date: 2016-05-25 (Wed, 25 May 2016)

Changed paths: M doc/conf.py

Log Message: ----------- Retry when checking for broken links

Signed-off-by: Michal Čihař michal@cihar.com