| Thu, 24 Mar 2022 23:33:55 +0100 | wenzelm | provide pre-built vscodium-1.65.2 for all platforms; | changeset | files |
| Thu, 24 Mar 2022 22:35:47 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 24 Mar 2022 22:27:17 +0100 | wenzelm | provide vscode_extension via component, thus users don't need Node.js development tools; | changeset | files |