2 commits

Author	SHA1	Message	Date
Manuel Bärenz	40c84bd392	vscode, vscodium: Document update scripts	2020-10-16 11:14:43 +02:00
Samuel Ainsworth	1692e2cbb5	vscode/vscodium: split update scripts ... Split up the vscode update.sh into separate vscode/vscodium update scripts. Recently the versions of vscode and vscodium have diverged (see VSCodium/vscodium#501), meaning that the updates for one package fail while the other succeeds. This PR splits up the update scripts so that one can be run with out the other and vice-versa.	2020-09-14 11:22:34 -07:00