holger krekel dbb58b39d9 switch to push to latest docs, because otherwise people get misled to old repos which don't exist anymore ... --HG-- branch : docs_community		2015-02-27 12:53:14 +01:00
..
en	switch to push to latest docs, because otherwise people get misled to old repos which don't exist anymore	2015-02-27 12:53:14 +01:00