mro/internet-radio-recorder: Record internet radio broadcasts and turn them into RSS feeds (podcasts) with a raspberry pi a.k.a. raspi (or any other debian-like box)

Marcus 58360d5ec6 rss date must sport english day- and month-names.		1 year ago
..
cron	58360d5ec6 rss date must sport english day- and month-names.	1 year ago
pbmi2003-recmod2012	180aaf55ed - encode xml via https://github.com/aantron/markup.ml	3 years ago
about.rdf.env	1b686234e1 style	2 years ago
broadcast-store.sh	ad76936acf - sh & ocaml clean	2 years ago
monitor.cgi	58360d5ec6 rss date must sport english day- and month-names.	1 year ago
onair.cgi	e8c0b8cd54 strictness, style	2 years ago