Branch: refs/heads/master Home: https://github.com/phpmyadmin/scripts Commit: 68eceeb180c29ad043eb415d87e25d909a0bb066 https://github.com/phpmyadmin/scripts/commit/68eceeb180c29ad043eb415d87e25d9... Author: Michal Čihař <michal@cihar.com> Date: 2016-11-24 (Thu, 24 Nov 2016) Changed paths: A develdocs/output/favicon.ico Log Message: ----------- Add favicon for develdocs Fixes #43 Signed-off-by: Michal Čihař <michal@cihar.com>