Peter Simons 301be245c4 Merge pull request #3676 from ruediger/up/mplayer ... mplayer: Update to 1.1.1.		2014-08-19 17:19:19 +02:00
..
audio
display-managers
editors
graphics
ike
inferno
misc
networking	Update dropbox	2014-08-17 23:06:51 -04:00
office
science	coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590	2014-08-16 00:13:15 -05:00
search
taxes
version-management	git: Add git-prompt.sh to /etc/bash_completion.d.	2014-08-19 16:34:51 +02:00
video	mplayer: Add GNU FriBiDi support.	2014-08-19 16:24:58 +02:00
virtualization
window-managers