Create gh-pages branch via GitHub
Update index.html
Update index.html
Update index.html
Update index.html
Update index.html
Update index.html
Update index.html
…
Merge branch 'master' of https://github.com/kamir/ghc

# By Mirko Kämpf
# Via Mirko Kämpf
* 'master' of https://github.com/kamir/ghc:
  Update README.md
  Update README.md
Merge commit 'a7ec02ecb225436d5d80642b5abbb400eb29f42c'

* commit 'a7ec02ecb225436d5d80642b5abbb400eb29f42c':
  Update index.html
  Update index.html
  Update index.html
  Update index.html
  Update index.html
  Update index.html
  Update index.html
  Create gh-pages branch via GitHub