Internet radio browser GUI for music/video streams from various directory services.

⌈⌋ branch:  streamtuner2


Check-in [5fcd7309eb]

Overview
SHA1:5fcd7309ebd4593284cb689cb335cb2a8b2f9e65
Date: 2016-12-10 12:20:50
User: mario
Comment:Check for "theme" key to exist in conf.*
Timelines: family | ancestors | descendants | both | trunk
Downloads: Tarball | ZIP archive
Other Links: files | file ages | folders | manifest
Tags And Properties
Context
2016-12-10
12:21
[7ff513e315] Remove $optionalInstall check (now in $task rule) (user: mario, tags: trunk)
12:20
[5fcd7309eb] Check for "theme" key to exist in conf.* (user: mario, tags: trunk)
12:20
[6b99231fbe] Updated comment, more correct regex (albeit it's too strict in comparison to the real date/time extraction method now) (user: mario, tags: trunk)
Changes

Modified contrib/gtk_theme.py from [72deb69630] to [da18de4370].    [diff]