search

sympy / planet.sympy.org

Legacy repository. Use https://github.com/sympy/planet-sympy and https://github.com/planet-sympy/planet.sympy.org instead
Other
9 stars 27 forks source link

Add sympy_favicon.png to config.ini and reduce the size of favicon #24

Closed debugger22 closed 10 years ago

debugger22 commented 10 years ago

Fixes https://github.com/sympy/planet.sympy.org/issues/23

debugger22 commented 10 years ago

I'm fascinated with the way GitHub compares change in image files!

debugger22 commented 10 years ago

@certik Please merge this. This will add the favicon mostly.

debugger22 commented 10 years ago

I just tested, it works! This is ready to go from my point of view.

certik commented 10 years ago

Impressive. Yeah, github rocks.

asmeurer commented 10 years ago

-1. This makes the favicon look terrible on high resolution displays. Can you please revert this?

certik commented 10 years ago

Done. @debugger22 you'll have to resubmit, sorry about that. @asmeurer will merge this particular one next time if you resubmit.

asmeurer commented 10 years ago

This looks good now, although it ought to use the same favicon as sympy.org.