# HG changeset patch # User gabucino # Date 1010797133 0 # Node ID 5ab51bd5f080867d32665f4a2be18ae0e565f864 # Parent 6758274b7f7b1da0ff517a949684dee37212662d typo noticed by nell diff -r 6758274b7f7b -r 5ab51bd5f080 DOCS/documentation.html --- a/DOCS/documentation.html Sat Jan 12 00:55:53 2002 +0000 +++ b/DOCS/documentation.html Sat Jan 12 00:58:53 2002 +0000 @@ -1545,7 +1545,10 @@
Platforms/ports
This list is about mplayer development! Talking about interface/API changes, -new libraryes, code optimization, ./configure changes, and send patches here. +new libraries, code optimization, ./configure changes, and send patches here. Do NOT send bugreports, user questions, feature requests here! This list should be kept low-traffic.