diff -r eb04ac3a8327 -r 3f4bdea2abbf doc/images/favicon.png
Binary file doc/images/favicon.png has changed