]> git.tuebingen.mpg.de Git - paraslash.git/search
gui: Output "xxx tag not set" for unset tags rather than empty strings.