Ben Blazak 8fcfe6cb7e changing gen-ui-info.py per issue #19 ... some of the script's output won't be accurate anymore; but it's not data that we actually need (and we haven't needed it for quite some time) so that shouldn't bother anyone. the generated keymap, assuming that still works, should be fine though :)		2014-07-31 19:57:52 -07:00
..
gen_layout	(minor)	2012-10-11 13:18:35 -07:00
gen-layout.py	improved the svg/html layout description generator output	2012-12-11 15:10:45 -08:00
gen-ui-info.py	changing gen-ui-info.py per issue #19	2014-07-31 19:57:52 -07:00