# HG changeset patch # User diego # Date 1031693788 0 # Node ID 8acd8cb8fd524d858b7c8901b279578dbd7837f1 # Parent 8ae490fbf89db623ff66f5bde82614e6804b1656 Small HTML fix by Andras Mohari . diff -r 8ae490fbf89d -r 8acd8cb8fd52 DOCS/documentation.html --- a/DOCS/documentation.html Tue Sep 10 20:59:52 2002 +0000 +++ b/DOCS/documentation.html Tue Sep 10 21:36:28 2002 +0000 @@ -266,13 +266,14 @@
  • Appendix D - Known bugs
  • Appendix E - MPlayer skin format
  • -
  • Appendix F - Developer Cries
  • +
  • Appendix F - Developer Cries + +