# HG changeset patch
# User heiko
# Date 1153907229 0
# Node ID bfb67e3281ca1c7056dc77f8fbf6a75515fa548b
# Parent  d31157fe5358b2454b15dc54b98a26fc62c95b7a
.ok.* wird jetzt ignoriert