From 59dc7a4042ccc041ca4dfaea47d361593ed83479 Mon Sep 17 00:00:00 2001 From: Volker E Date: Tue, 16 Oct 2018 17:42:05 -0700 Subject: [PATCH] =?utf8?q?Change=20to=20=E2=80=9CLESS=E2=80=9D=20as=20it's?= =?utf8?q?=20the=20official=20name=20(again)?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Make it unified with comments below. Change-Id: I05e7a4269ed88a497a0072c5838a99fd15167f5d --- resources/src/mediawiki.less/mediawiki.mixins.less | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/src/mediawiki.less/mediawiki.mixins.less b/resources/src/mediawiki.less/mediawiki.mixins.less index 55be237efe..7e7821ef68 100644 --- a/resources/src/mediawiki.less/mediawiki.mixins.less +++ b/resources/src/mediawiki.less/mediawiki.mixins.less @@ -1,4 +1,4 @@ -// Common Less mixin library for MediaWiki +// Common LESS mixin library for MediaWiki // // By default the folder containing this file is included in the LESS import paths, // which makes this file importable by all less files via `@import 'mediawiki.mixins';`. -- 2.20.1