[MPlayer-dev-eng] [PATCH] rename -rnd to -random

Diego Biurrun diego at biurrun.de
Fri Nov 29 00:06:28 CET 2002


Hi!

I'd like to rename -rnd to -random to preserve the MPlayer style of
long, unabreviated options.  OK to commit?

Diego


-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: random.patch
URL: <http://lists.mplayerhq.hu/pipermail/mplayer-dev-eng/attachments/20021129/f7696666/attachment.asc>


More information about the MPlayer-dev-eng mailing list