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	590dabe5ba5a2e2ecbe5a1eb610fb54a2e8d7f82

drwxr-xr-x		..
-rwxr-xr-x	7140	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