tree 046bd5ce0a9c1656009e28169c525d13c8adfe8e
parent 417164710b3ed8bbb48c2a9590f9dbf1b17702d1
author Michael Jastram <michael@jastram.de> 1418332886 +0100
committer Michael Jastram <michael@jastram.de> 1418654424 +0100

Better label for enum selector.