Public Git Hosting - mygpo.git/tree - bin/

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
history | HEAD | snapshot (tar.gz zip)

[mygpo.git] / bin /

tree	b1266c7b3adb1c74047ffcd00a9b3d32d317bb0c

drwxr-xr-x		..
-rwxr-xr-x	6547	feed-downloader	blob \| blame \| history \| raw
-rw-r--r--	1212	fix-duplicate-device-uids.py	blob \| blame \| history \| raw
-rwxr-xr-x	1652	run-database-procedure	blob \| blame \| history \| raw
-rwxr-xr-x	132	update-index	blob \| blame \| history \| raw

gpodder.net is a webservice that connects podcast players