# HG changeset patch
# User Klaus Thoden <kthoden@mpiwg-berlin.mpg.de>
# Date 1300381010 -3600
# Node ID 7f81e4f3dc1b95d6070f7586e0a369906b238d81
# Parent  84fe11a401d2e576d12f03926150d3d647f3d602
Noch ein Test.

diff -r 84fe11a401d2 -r 7f81e4f3dc1b DESpecs/yetanothertest