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	d80b68e1a936c1e19461054a4b3a7b2582375bef

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