File: remove-jslint

package info (click to toggle)
gnome-shell-extension-remove-dropdown-arrows 8-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 192 kB
  • ctags: 6
  • sloc: makefile: 30
file content (13 lines) | stat: -rw-r--r-- 369 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
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