diff debian/mplayer-gui.mime @ 33726:a800f30c40d1

Cosmetic: Rename gui() parameter. Change it from 'type' to 'what' to point out that it is a request.
author ib
date Tue, 05 Jul 2011 10:54:16 +0000
parents c9f9a077d760
children 6c750d212873
line wrap: on
line diff