# HG changeset patch
# User Klaus Thoden <kthoden@mpiwg-berlin.mpg.de>
# Date 1300381079 -3600
# Node ID 0d8b27aa70aaf150446af07bc747766a0d0a1bed
# Parent  7f81e4f3dc1b95d6070f7586e0a369906b238d81
that's it

diff -r 7f81e4f3dc1b -r 0d8b27aa70aa DESpecs/yetanothertest