# HG changeset patch
# User diego
# Date 1067214381 0
# Node ID 10e0ad4f21b6e1aaf5f95c0ce819026c35500683
# Parent  119703388a95d9e3f110a314309386e125cc59bd
_ vs - in option names

diff -r 119703388a95 -r 10e0ad4f21b6 DOCS/tech/patches.txt
--- a/DOCS/tech/patches.txt	Mon Oct 27 00:23:39 2003 +0000
+++ b/DOCS/tech/patches.txt	Mon Oct 27 00:26:21 2003 +0000
@@ -59,5 +59,7 @@
 9. Do not immediately ask for CVS write access. If you contributed one or more
    nice, acceptable patches and they need maintaining or you want to be an
    MPlayer developer, you'll get CVS write access.
+
+10. For consistency reasons all option names must use '-' instead of '_'.
    
 Thank you!