diff options
| author | Michał Gołębiowski-Owczarek <m.goleb@gmail.com> | 2020-10-14 23:45:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-14 23:45:19 +0200 |
| commit | bfffac3fd5e3d5ce43070f9437d43005fc5eaeb2 (patch) | |
| tree | 2be62fa2e906a4c4512b0ea89f47b795da98e9e4 /.csslintrc | |
| parent | 2434dfd45d0805304e1db634d059feaa0bacf358 (diff) | |
| download | jquery-ui-bfffac3fd5e3d5ce43070f9437d43005fc5eaeb2.tar.gz jquery-ui-bfffac3fd5e3d5ce43070f9437d43005fc5eaeb2.zip | |
Travis: Use Node 10, remove obsolete properties
Also, migrate to a Java build as we need JDK 8 and it's easier to
install a specific Node.js version in a Java image than vice-versa.
Closes gh-1938
Diffstat (limited to '.csslintrc')
0 files changed, 0 insertions, 0 deletions