--- .dummy +++ .dummy 2009-08-19 12:18:39.181901099 +0200 @@ -0,0 +1 @@ +this is a dummy, remove if real changes are required