From a6023a710abb011df6ed824e273353768e6e296f Mon Sep 17 00:00:00 2001
From: Umberto Minora <umbertofilippo@tiscali.it>
Date: Tue, 19 Feb 2019 10:48:11 +0100
Subject: [PATCH] Cleared mixed spaces and tabs

---
 examples/export-pdf.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/export-pdf.js b/examples/export-pdf.js
index f3970d342d..6ebd30f1b9 100644
--- a/examples/export-pdf.js
+++ b/examples/export-pdf.js
@@ -64,7 +64,7 @@ exportButton.addEventListener('click', function() {
       // Reset original map size
       map.setSize(size);
       map.getView().fit(extent,
-	    {size: size,
+        {size: size,
         constrainResolution: false});
       exportButton.disabled = false;
       document.body.style.cursor = 'auto';