delete cached channel when playback a recorded movie (for closing frontend device)
authorAndreas Monzner <andreas.monzner@multimedia-labs.de>
Wed, 7 Dec 2005 02:18:34 +0000 (02:18 +0000)
committerAndreas Monzner <andreas.monzner@multimedia-labs.de>
Wed, 7 Dec 2005 02:18:34 +0000 (02:18 +0000)

No differences found