Description: remove jslint
 Remove jslint, it's not packaged in Debian and not needed for the packaging
 of this software.
Author: Jonathan Carter <jcarter@linux.com>

--- gnome-shell-extension-remove-dropdown-arrows-7.orig/Makefile
+++ gnome-shell-extension-remove-dropdown-arrows-7/Makefile
@@ -1,4 +1,4 @@
-all: lint dist
+all: dist
 
 deps:
 	npm install -g jshint
