Summary
- clarified and unified executable names;
- tuned;
- tuned;
The file was modified | lib/Tools/vscode (diff) |
The file was modified | src/Pure/General/path.scala (diff) |
The file was modified | src/Tools/VSCode/src/build_vscodium.scala (diff) |
The file was modified | src/Tools/VSCode/src/build_vscodium.scala (diff) |
The file was modified | src/Tools/VSCode/src/build_vscodium.scala (diff) |