diff options
| author |  Benjamin Barenblat <bbaren@google.com> | 2019-02-13 20:32:39 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@google.com> | 2019-02-13 20:32:39 -0500 |
| commit | 7ecbed522b4b4a9829eb9bd7b3f36db53788a77c (patch) | |
| tree | 4b2a6d704561754d5d94831f3aff307fbfaab8c9 /helper.mli | |
| parent | 4f8ae900f852981023515f9bc6bf7d14580f57ea (diff) | |
Prepare to import v8.9 snapshot
Upstream has started including a .travis.yml, so filter that out of the
upstream tarball to prevent Salsa from trying to run upstream’s CI.
Diffstat (limited to 'helper.mli')
0 files changed, 0 insertions, 0 deletions