doc/developer: Drop obsolete MPlayer reference
authorDiego Biurrun <diego@biurrun.de>
Thu, 31 Jan 2013 18:47:22 +0000 (19:47 +0100)
committerDiego Biurrun <diego@biurrun.de>
Fri, 1 Feb 2013 10:17:24 +0000 (11:17 +0100)
commit8787847dc6b3e07020ca6f063d5e3fcbe2e93f0f
treeedb3b8b07a8153664e19f45d800f2bf08c8c3aa6
parent8b0fda180e99bf64d485d3e1f1e3a13ee20d053a
doc/developer: Drop obsolete MPlayer reference
doc/developer.texi