Remove gjslint.py

2016-01-09 20:13:29 -07:00
parent 0a5d15db50
commit 8d80924ba8
11 changed files with 11 additions and 42 deletions
@@ -1,5 +1,4 @@
-sudo: required
-dist: trusty
+sudo: false

 language: node_js

@@ -14,7 +13,6 @@ env:

 before_install:
  - "npm prune"
-  - "sudo pip install -r requirements.txt"

 before_script:
  - "rm src/ol/renderer/webgl/*shader.js"