From 1b72bd789f7171cba3fd2af4fb7a53e5b1459c3d Mon Sep 17 00:00:00 2001
From: =?utf8?q?Rapha=C3=ABl=20Jakse?= <raphael.jakse@univ-grenoble-alpes.fr>
Date: Thu, 2 Apr 2020 19:08:52 +0200
Subject: [PATCH] lint

---
 trivabble.js | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/trivabble.js b/trivabble.js
index 048e344..bf5d873 100644
--- a/trivabble.js
+++ b/trivabble.js
@@ -86,15 +86,15 @@
         return -1;
     }
 
-    var tileInitCoords      = null,
-        tileInitMouseCoords = null,
-        tileDest            = null,
-        tileInitDest        = null,
-        movingTile          = null,
-        rackBCR             = null,
-        boardBCR            = null,
-        bagBCR              = null,
-        moveCMD             = null;
+    var tileInitCoords      = null;
+    var tileInitMouseCoords = null;
+    var tileDest            = null;
+    var tileInitDest        = null;
+    var movingTile          = null;
+    var rackBCR             = null;
+    var boardBCR            = null;
+    var bagBCR              = null;
+    var moveCMD             = null;
 
     function getLetter(l) {
         var tile = l.getElementsByClassName("tile")[0];
-- 
2.30.2