docs: don't use the github logo for our git repo. Fixes #2026cdd1f10a51160197116175b55f1a47cb23d8bdf
commit6cdd1f10a51160197116175b55f1a47cb23d8bdf
authorChristoph Reiter <reiter.christoph@gmail.com>
Sun, 15 Apr 2018 04:15:17 +0000 (15 06:15 +0200)
committerChristoph Reiter <reiter.christoph@gmail.com>
Sun, 15 Apr 2018 04:15:17 +0000 (15 06:15 +0200)
treeccf6dc499818b3a9934981d5abbf80702298d52e
parentd32dbc6543930637bad60cd65ce14e3c0fdfe6e1
docs: don't use the github logo for our git repo. Fixes #202
docs/bugs_repo.rst
docs/icons.rst