Repository navigation

Use a smaller image for the header logo - #880

Merged

fhemberger merged 2 commits into

Sep 6, 2016

Merged

Use a smaller image for the header logo#880
fhemberger merged 2 commits into
masterfrom
gh-877

Commits on Aug 30, 2016
- Use a smaller image for the header logo
  lpinca
  committed
  1c548f1
- Compress PNG with ImageAlpha/Imagemin
  fhemberger
  committed
  7da54de