Merge pull request #36 from ddiss/ui_grammar
authorMichael Andres <ma@suse.de>
Thu, 25 Jul 2013 07:11:42 +0000 (00:11 -0700)
committerMichael Andres <ma@suse.de>
Thu, 25 Jul 2013 07:11:42 +0000 (00:11 -0700)
Ui grammar.


Trivial merge