From db36639ffc1964730a907959a3dcee36df796679 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Torkel=20=C3=96degaard?= Date: Tue, 18 Apr 2017 16:58:34 +0200 Subject: [PATCH] fix: #8111 --- public/app/features/dashboard/submenu/submenu.html | 2 +- public/sass/components/_submenu.scss | 6 ++++++ tasks/options/exec.js | 5 +++-- tasks/options/tslint.js | 11 +++++++++++ tasks/options/watch.js | 2 +- tasks/tslint.js | 0 6 files changed, 22 insertions(+), 4 deletions(-) create mode 100644 tasks/options/tslint.js create mode 100644 tasks/tslint.js diff --git a/public/app/features/dashboard/submenu/submenu.html b/public/app/features/dashboard/submenu/submenu.html index 3e09fe4425e..b4e9e26fa0a 100644 --- a/public/app/features/dashboard/submenu/submenu.html +++ b/public/app/features/dashboard/submenu/submenu.html @@ -1,4 +1,4 @@ -