From e7974e4519b1391105aae0fcab83d0cee68c3bd9 Mon Sep 17 00:00:00 2001
From: XhmikosR <xhmikosr@gmail.com>
Date: Mon, 18 Feb 2019 18:00:38 +0200
Subject: [PATCH] Fix a few stylelint issues.

---
 less/button-groups.less | 2 +-
 less/theme.less         | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/less/button-groups.less b/less/button-groups.less
index 0472800f16..137d27d4db 100644
--- a/less/button-groups.less
+++ b/less/button-groups.less
@@ -1,4 +1,4 @@
-// stylelint-disable selector-no-qualifying-type */
+// stylelint-disable selector-no-qualifying-type
 
 //
 // Button groups
diff --git a/less/theme.less b/less/theme.less
index 0d2db96dcb..deda3e010f 100644
--- a/less/theme.less
+++ b/less/theme.less
@@ -219,7 +219,7 @@
 
 // Give the progress background some depth
 .progress {
-  #gradient > .vertical(@start-color: darken(@progress-bg, 4%); @end-color: @progress-bg)
+  #gradient > .vertical(@start-color: darken(@progress-bg, 4%); @end-color: @progress-bg);
 }
 
 // Mixin for generating new styles