# HG changeset patch # User jaf # Date 1008713296 0 # Node ID 9f5c41fa0e5d77d50d3e9ca0d2d3d7db5703823b # Parent 8ca0529a532a03a86f3e2fda0ecb13f2b4439c74 similar to 1.33, hm. stuff. diff -r 8ca0529a532a -r 9f5c41fa0e5d DOCS/German/documentation.html --- a/DOCS/German/documentation.html Tue Dec 18 22:06:58 2001 +0000 +++ b/DOCS/German/documentation.html Tue Dec 18 22:08:16 2001 +0000 @@ -125,7 +125,8 @@