|
|
17c47d74a7
|
for f in grep application/ogg -lr content;do sed -e 's/application\/ogg/audio\/ogg/' -i $f;done
So play-resources.js knows when to use <audio> instead of <video>.
|
2010-11-15 01:43:28 +01:00 |
|
|
|
676e4da057
|
news/pentaradio24-20101026: recordings
|
2010-10-27 00:57:22 +02:00 |
|
|
|
175858240c
|
news/pentaradio24-20101026: Zeit & Stream
|
2010-10-26 19:24:22 +02:00 |
|
|
|
e363e8fd09
|
news/pentaradio24-20101026
|
2010-10-26 18:48:14 +02:00 |
|
