fix deleting the last file from the playlist in the media player
[enigma2.git] / tools.py
2005-03-21 Felix Domkeadded tools