8fcfe6cb7e
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 :) |
||
---|---|---|
.. | ||
gen_layout | ||
gen-layout.py | ||
gen-ui-info.py |