From dabcd2cf47f01139be484892110e4aa60ac848ce Mon Sep 17 00:00:00 2001
From: Fabio Berger <me@fabioberger.com>
Date: Mon, 21 Jan 2019 16:14:17 +0100
Subject: [PATCH] Fix linter issue

---
 packages/website/ts/pages/documentation/docs_home.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/website/ts/pages/documentation/docs_home.tsx b/packages/website/ts/pages/documentation/docs_home.tsx
index 4c12b8f670..5849a2a03c 100644
--- a/packages/website/ts/pages/documentation/docs_home.tsx
+++ b/packages/website/ts/pages/documentation/docs_home.tsx
@@ -503,4 +503,4 @@ export class DocsHome extends React.Component<DocsHomeProps, DocsHomeState> {
         });
         return menuItems;
     }
-}
+} // tslint:disable:max-file-line-count