diff debian/mplayer-doc.doc-base.fr @ 35970:90b6cc0747fb

Avoid duplicate entries in the file selector path list. Use new fs_glist_add() to check that a path isn't yet in the list before adding it.
author ib
date Thu, 28 Mar 2013 12:03:17 +0000
parents c9f9a077d760
children
line wrap: on
line diff