. format change for github

This commit is contained in:
Kaspar Schiess 2010-03-08 09:54:47 +01:00
parent 05689e060d
commit 25f664b1c4