bughz
/
code-server
mirror of https://github.com/coder/code-server.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

housekeeping(branding): update coder/coder branding (#5781)

This commit is contained in:
Geoffrey Huntley 2022-11-15 04:28:42 +10:00 committed by GitHub
parent 74edfe7c43
commit 43e8c439bf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
patches/getting-started.diff
View File

@ -55,7 +55,7 @@ Index: code-server/lib/vscode/src/vs/workbench/contrib/welcomeGettingStarted/bro
+ 'font-size: 13px', + 'font-size: 13px',
+ 'color: #dcdee2', + 'color: #dcdee2',
+ ].join(';'), + ].join(';'),
+ }, 'Provision remote development environments on your infrastructure with Coder.'), + }, 'Provision software development environments on your infrastructure with Coder.'),
+ $('p', { + $('p', {
+ style: [ + style: [
+ 'margin-top: 8px', + 'margin-top: 8px',