[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