software/theia: update most plugins to their latest version
use "latest" in generate_download_plugins_cfg.py, so that re-running this script updates plugins to their latest versions.
Showing
This diff is collapsed.
Please register or sign in to comment