Delete files on MP3 player before syncing files (bug 573)
[gpodder.git] / doc / dev / 
tree25ee8472b641043204f51cb3e999c4454dc86ca5
drwxr-xr-x   ..
drwxr-xr-x - convert
drwxr-xr-x - examples
-rw-r--r-- 998 generate-ubuntu-source
-rw-r--r-- 2790 gtk-builder-clean.py
-rw-r--r-- 627 gtk-builder-clean.xslt
drwxr-xr-x - icon-theme
-rwxr-xr-x 1365 install-desktopentry.sh
-rw-r--r-- 716 pill-tester.py
drwxr-xr-x - python-gtkbuilderi18n
drwxr-xr-x - svg
-rw-r--r-- 2078 update-git-gui.py
drwxr-xr-x - win32-launcher