|
ci.bash
|
Update Dockerfile
|
2019-07-18 18:09:15 -05:00 |
|
merge.js
|
Include version when building
|
2019-07-18 18:08:37 -05:00 |
|
nbin-shim.js
|
Extract ripgrep when inside binary
|
2019-07-18 18:09:21 -05:00 |
|
nbin.js
|
Add build scripts
|
2019-07-18 18:08:27 -05:00 |
|
package.json
|
Replace jq with some JavaScript
|
2019-07-18 18:08:31 -05:00 |
|
product.json
|
Customize JSON files with code-server name
|
2019-07-18 18:08:28 -05:00 |
|
tasks.bash
|
Fix rg extraction in Docker build
|
2019-07-18 18:09:24 -05:00 |
|
vscode.patch
|
Expose API on the client
|
2019-07-18 18:09:22 -05:00 |
