From d6bf96be4f77990a4d039f7f795e7c605bb4af43 Mon Sep 17 00:00:00 2001 From: Sebastian Silbermann Date: Thu, 23 Aug 2018 08:40:16 +0200 Subject: [PATCH] theming: Remove unnecessary tslint:disable --- types/theming/index.d.ts | 1 - 1 file changed, 1 deletion(-) diff --git a/types/theming/index.d.ts b/types/theming/index.d.ts index 71b5fb8f6b..e2525b3ce6 100644 --- a/types/theming/index.d.ts +++ b/types/theming/index.d.ts @@ -6,7 +6,6 @@ import * as React from "react"; export type Channel = string; -// tslint:disable-next-line: no-empty-interface export type Theme = object | ((outerTheme: object) => object); export const channel: "__THEMING__";