annotate debian/mplayer-doc.doc-base.de @ 35804:25852c740093

Remove code almost identical to uiMenuDone() plus uiMenuInit(). Nothing but uiMenuDone() destroys the menu and nothing but uiMenuInit() builds it. This is analogous to rebuilding the playbar now.
author ib
date Sat, 26 Jan 2013 01:07:36 +0000
parents c9f9a077d760
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
31833
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
1 Document: mplayer-de
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
2 Title: MPlayer documentation (German)
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
3 Author: The MPlayer team
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
4 Abstract: This documentation describes the use of MPlayer. (German)
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
5 MPlayer is a movie player for GNU/Linux that supports a wide
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
6 range of audio and video formats, and output drivers.
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
7 Section: Sound
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
8
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
9 Format: HTML
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
10 Index: /usr/share/doc/mplayer-doc/HTML/de/index.html
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
11 Files: /usr/share/doc/mplayer-doc/HTML/de/*.html