diff debian/mplayer-doc.doc-base.hu @ 33279:af44c90c8473

Avoid duplicating MP_CMD_QUIT code, even though it currently does not save much.
author reimar
date Wed, 04 May 2011 20:38:06 +0000
parents c9f9a077d760
children
line wrap: on
line diff