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)
commit99492172dc32576d30447a8e2225f77630e91b24
tree2c8408bb25895521140fa49acc98cdda50159345
parent2b946cba49256de6f02a6c58ed06cfef1175eaa7
parenta3ec9ba844b23077893022564353a408b9d91837
Merge pull request #36 from ddiss/ui_grammar

Ui grammar.