Fix "mp3_player_delete_played" config option (bug 398)
tree5a1d53f404459006576c418e21f383f4577b4dd2
-rw-r--r-- 35147 COPYING
-rw-r--r-- 765 INSTALL
-rw-r--r-- 155 MANIFEST.in
-rw-r--r-- 5748 Makefile
-rw-r--r-- 3887 README
drwxr-xr-x - bin
drwxr-xr-x - data
drwxr-xr-x - doc
-rw-r--r-- 3289 setup.py
drwxr-xr-x - src