commit | 1d2bfc64b7b5120534a94c90c48c5192856cb6e4 | [log] [tgz] |
---|---|---|
author | Michael Jastram <michael@jastram.de> | Thu Dec 11 22:21:26 2014 +0100 |
committer | Michael Jastram <michael@jastram.de> | Mon Dec 15 15:40:24 2014 +0100 |
tree | 046bd5ce0a9c1656009e28169c525d13c8adfe8e | |
parent | 417164710b3ed8bbb48c2a9590f9dbf1b17702d1 [diff] |
Better label for enum selector.