|
vor 11 Jahren | |
---|---|---|
.. | ||
build_modules_xml.py | c37af62b8e wxGUI: workaround for gui toolboxes compilation (g.version -r crashes and menu is not generated) | vor 11 Jahren |
update_menudata.py | 54d294ea23 wxGUI/menudata: rename menudata classes | vor 12 Jahren |