# HG changeset patch # User diego # Date 1023928434 0 # Node ID 8d9c6decdfd6b54e4acf83a7a71dfb7f6cb7e697 # Parent d0b1f3d7590037ca6df7c952e7233bdf68449b6e Background now uses CSS, added charset. diff -r d0b1f3d75900 -r 8d9c6decdfd6 DOCS/bugreports.html --- a/DOCS/bugreports.html Thu Jun 13 00:31:16 2002 +0000 +++ b/DOCS/bugreports.html Thu Jun 13 00:33:54 2002 +0000 @@ -3,9 +3,10 @@ + - +

Appendix C - How to report bugs