This repository has been archived on 2024-09-09. You can view files and clone it, but cannot push or open issues or pull requests.

Asher 7f07b8f66c

Push Docker using Linux build ...

Instead of doing a separate redundant build. The main problem was that
the files weren't being cached. There is probably a better way of
solving this but this seems to be the simplest for now.

2019-10-22 18:43:21 -05:00

..

build.ts

Port onigasm fix for PHP

2019-10-22 11:39:00 -05:00

ci.bash

Update to 1.39.2

2019-10-18 18:20:02 -05:00

ci.dockerfile

Push Docker using Linux build

2019-10-22 18:43:21 -05:00

optimize.js

Fix webview html being excluded

2019-10-22 16:09:27 -05:00

package.json

Replace jq with some JavaScript

2019-07-18 18:08:31 -05:00

product.json

Update to 1.39.2

2019-10-18 18:20:02 -05:00

tsconfig.json

Update to 1.39.2

2019-10-18 18:20:02 -05:00

vscode.patch

Update to 1.39.2

2019-10-18 18:20:02 -05:00