# HG changeset patch # User jonas # Date 1014741854 0 # Node ID a993e0bcdf75de04b9ee46e2bff73f1e2f41087b # Parent 15af74a11ce9d16d04860772eb84c31040e8b21a small updates: html fixes, man2html compatibility, some new options... diff -r 15af74a11ce9 -r a993e0bcdf75 DOCS/German/bugreports.html --- a/DOCS/German/bugreports.html Tue Feb 26 10:31:31 2002 +0000 +++ b/DOCS/German/bugreports.html Tue Feb 26 16:44:14 2002 +0000 @@ -82,7 +82,9 @@

Bei Kompilierungsfehlern/-problemen

3. diese Dateien:

-