# HG changeset patch # User Volker Grabsch # Date 1334930691 -7200 # Node ID f682ec903c5238b5494e4ea49811a6a68aad046f # Parent 85db80a8ed7e0090983137f38ec1a8f83d9e3f33 Link to more information about gh-pages in the docs diff -r 85db80a8ed7e -r f682ec903c52 index.html --- a/index.html Tue Apr 17 02:27:41 2012 +1000 +++ b/index.html Fri Apr 20 16:04:51 2012 +0200 @@ -480,7 +480,8 @@

The following .git/config settings ensure that the stable branch will always be pushed to the - gh-pages branch in addition to the + gh-pages + branch in addition to the stable branch, thus ensuring the website will always stay in sync: